1. A domain equation for bisimulation;Abramsky;Inform. and Comput.,1991
2. Aceto, L, Bloom, B, and, Vaandrager, F. 1999, Checking open equations in GSOS systems, Draft.
3. Termination, deadlock, and divergence;Aceto;J. Assoc. Comput. Mach.,1992
4. Process Algebra;Baeten,1990
5. Modal characterization of weak bisimulation for higher-order processes;Baldamus,1997