Logo
User: Guest  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.