DMCA

Bisimulations for Asynchronous Mobile Processes (1996)

by Hans Hüttel , Martin Hansen , Martin Hansen , Hans Huttel , Josva Kleist , Josva Kleist
Citations:13 - 1 self