1. Process Algebra;Baeten,1990
2. Algebra of communicating processes with abstraction;Bergstra;Theoretical Computer Science,1985
3. Invariants in process algebra with data;Bezem,1994
4. μCRL: a toolset for analysing algebraic specifications;Blom,2001
5. Semantical aspects of an architecture for distributed embedded systems;Bloo,2000