Matching Systems for Concurrent Calculi

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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

8 Citationer (Scopus)

Originalsprog	Engelsk
Tidsskrift	Electronical notes in theoretical computer science
Vol/bind	194
Udgave nummer	2
Sider (fra-til)	85-99
ISSN	1571-0661
DOI	https://doi.org/10.1016/j.entcs.2007.11.004
Status	Udgivet - 2008

Adgang til dokumentet

@article{45589d60a12911de8c1c000ea68e967b,

title = "Matching Systems for Concurrent Calculi",

author = "Bj{\o}rn Haagensen and S. Maffeis and I. Phillips",

year = "2008",

doi = "10.1016/j.entcs.2007.11.004",

language = "English",

volume = "194",

pages = "85--99",

journal = "Electronical notes in theoretical computer science",

issn = "1571-0661",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Matching Systems for Concurrent Calculi

AU - Haagensen, Bjørn

AU - Maffeis, S.

AU - Phillips, I.

PY - 2008

Y1 - 2008

U2 - 10.1016/j.entcs.2007.11.004

DO - 10.1016/j.entcs.2007.11.004

M3 - Journal article

SN - 1571-0661

VL - 194

SP - 85

EP - 99

JO - Electronical notes in theoretical computer science

JF - Electronical notes in theoretical computer science

IS - 2

ER -