942 search results - page 4 / 189 » Process Algebraic Non-product-forms |
ENTCS
2010
13 years 7 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
ENTCS
2006
13 years 9 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
SIMULATION
2008
13 years 9 months ago
2008
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond gra...
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
TOPNOC
2008
13 years 9 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...