DMCA

Bisimulations for Asynchronous Mobile Processes (1995)

by Martin Hansen , Hans Hüttel , Josva Kleist
Venue:Basic Research in Computer Science, BRICS
Citations:13 - 1 self