pb: print largest weak bisimulation over the state-space of two agents
pb(A,B);
Notes
If the agents are weakly bisimilar, then they will appear in the same
bisimulation class.
See also
eq
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999