18 search results - page 4 / 4 » Foundations of Concurrent Kleene Algebra |
158
click to vote
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
188
click to vote
LICS
1998
IEEE
15 years 9 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
173
Voted
WADT
1999
Springer
15 years 10 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...