Matching Systems for Concurrent Calculi

Bjørn Haagensen, S. Maffeis, I. Phillips

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)
Original languageEnglish
JournalElectronical notes in theoretical computer science
Volume194
Issue number2
Pages (from-to)85-99
ISSN1571-0661
DOIs
Publication statusPublished - 2008

Cite this