Pages 12-15 and 26-29 of Process Algebra1
Pages 1-13 of A Calculus of Mobile Processes, Part I2
- Rance Cleaveland and Scott A. Smolka.
In J.G. Webster, editor, Encyclopedia of Electrical Engineering.
John Wiley & Sons, 1999.
- Robin Milner, Joachim Parrow and David Walker.
A Calculus of Mobile Processes, Part I.
University of Edinburgh.
The Concurrency Workbench of the
New Century has been installed at CAT.
To start the system, type
To check that the processes
a.b.nil + a.c.nil and
a.(b.nil + c.nil) are trace equivalent, type
eq -S trace "a.b.nil + a.c.nil" "a.(b.nil + c.nil)"
To check that they are bisimilar, type
eq -S bisim "a.b.nil + a.c.nil" "a.(b.nil + c.nil)"
To check that the processes defined by the equations
C1 = a.C1 and
C2 = a.C2 + a.nil
are trace equivalent, use the file simple.ccs
eq -S trace C1 C2
To check that the processes are bisimilar, type
eq -S bisim C1 C2