zbMATH — the first resource for mathematics

Process spaces. (English) Zbl 0999.68140
Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 199-213 (2000).
Summary: This paper presents process spaces, a general theory for systems that are made of several interacting components and layers of abstraction. Process spaces capture in a homogeneous manner diverse correctness concerns for concurrent systems and other types of systems. The main innovation of process spaces is the idea of abstract execution, which permits to set the precision and complexity of a system model by the amount of detail included in the execution model. Notwithstanding this generality, we show that process spaces admit several algebraic properties of practical significance.
For the entire collection see [Zbl 0944.00069].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)