Bisimulations for Asynchronous Mobile Processes (1995)

by Martin Hansen, Hans Hüttel, Josva Kleist
Venue:Basic Research in Computer Science, BRICS