243 search results - page 6 / 49 » Process Algebra: An Algebraic Theory of Concurrency |
TCS
2002
13 years 6 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
CSL
1992
Springer
13 years 11 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
TACS
1991
Springer
13 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
AAAI
1996
13 years 8 months ago
1996
RELMICS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...