1788 search results - page 3 / 358 » Model Theory for Process Algebra |
ENTCS
2006
13 years 5 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...
ICCSA
2005
Springer
13 years 11 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
ACSD
2006
IEEE
13 years 9 months ago
2006
IEEE
Asynchronous circuits have received much attention recently due to their potential for energy savings. Process algebras have been extensively used in the modelling, analysis and sy...
UAI
2004
13 years 7 months ago
2004
We develop the necessary theory in computational algebraic geometry to place Bayesian networks into the realm of algebraic statistics. We present an algebra
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...