Login
- Autor:
- Winter, Michael; Kempf, Peter
- Titel:
- Relational Semantics for Processes
- Verlegende Stelle:
- Universität der Bundeswehr München, Fakultät für Informatik
- Report-Nummer:
- 1998-01
- Jahr, Monat:
- 1998-12
- Abstract:
- In this paper we give a relation-algebraic model of processes. All standard operations (including parallel composition/interleaving) of the Calculus of Communicating Systems CCS are interpreted by purely relational terms without any inductive methods. We also introduce the notion of a relational bisimulation which leads to a canonical representative of a bisimulation-class of processes.
BibTeX
versions
