H uttel, and Josva Kleist. Bisimulations for Asynchronous Mobile Processes (1996)

by RS-96-8 Martin Hansen, Hans
Venue:In Proceedings of the Tbilisi Symposium on Language, Logic and Computation