Higher-Order Concurrency: Expressiveness and Decidability

Research output: Contribution to journalArticleAcademic

Original languageUndefined/Unknown
Pages (from-to)92-124
Number of pages33
JournalBulletin of the EATCS
Volume101
Publication statusPublished - 2010

Cite this