942 search results - page 6 / 189 » Process Algebraic Non-product-forms |
FORTE
2001
13 years 11 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
CUZA
2002
13 years 9 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...
CONCUR
1992
Springer
14 years 1 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
EPEW
2006
Springer
13 years 11 months ago
2006
Springer
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
ENTCS
2006
13 years 9 months ago
2006
A generalization of the Reversed Compound Agent Theorem of Markovian process algebra is derived that yields separable, but non-product-form solutions for collections of interactin...