1532 search results - page 110 / 307 » An Algebraic Process Calculus |
114
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
121
click to vote
TCS
2008
15 years 4 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...
132
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
220
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
129
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...