7109 search results - page 21 / 1422 » Process Algebra with Combinators |
ENTCS
2006
13 years 7 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...
ENTCS
2008
13 years 7 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
SFM
2004
Springer
14 years 23 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
What impact do process and data standards have on business process performance? This paper shows that process and data standards have a positive combined impact on business proces...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...