Bisimulations for Asynchronous Mobile Processes

Martin Hansen, Hans Hüttel, Josva Kleist

Research output: Book/ReportReportResearch

Original languageEnglish
Place of PublicationÅrhus
PublisherBRICS - Basic Research in Computer Science
EditionRS-96-8
Publication statusPublished - 1996

Cite this

Hansen, M., Hüttel, H., & Kleist, J. (1996). Bisimulations for Asynchronous Mobile Processes. (RS-96-8 ed.) BRICS - Basic Research in Computer Science.