1788 search results - page 31 / 358 » Model Theory for Process Algebra |
95
Voted
MASCOTS
2003
15 years 1 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
88
Voted
ENTCS
2002
15 years 9 days ago
2002
We study the partial algebra of typed terms with an associative commutative and idempotent operator (typed AC-terms). The originality lies in the representation of the typing poli...
174
Voted
NADA
1998
Springer
15 years 4 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
84
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
93
Voted
ENTCS
2007
15 years 14 days ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...