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.