A Translation of the Pi-Caculus Into MONSTR

Research output: Contribution to journalArticle

Bibliographical metadata

Original languageEnglish
Pages (from-to)339-398
Number of pages60
JournalJournal of Universal Computer Science
Volume1
Issue number6
Publication statusPublished - 1995