251 search results - page 1 / 51 » Priority and Abstraction in Process Algebra |
FSTTCS
1994
Springer
13 years 11 months ago
1994
Springer
ENTCS
2008
13 years 7 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
CMSB
2008
Springer
13 years 8 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
CUZA
2002
13 years 6 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
LPNMR
1990
Springer
13 years 11 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...