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.