DMCA

Bisimulations for asynchronous mobile processes (1995)

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