Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	8461
Sider (fra-til)	1-16
Antal sider	16
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-662-43613-4_1
Status	Udgivet - 2014

Adgang til dokumentet

@inproceedings{f4f164b868784ccfb5ee5f512c0c4829,

title = "Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion",

author = "S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats and Nobuko Yoshida",

year = "2014",

doi = "10.1007/978-3-662-43613-4\_1",

language = "English",

volume = "8461",

pages = "1--16",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - GEN

T1 - Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

AU - Debois, Søren

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

AU - Yoshida, Nobuko

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-662-43613-4_1

DO - 10.1007/978-3-662-43613-4_1

M3 - Conference article

SN - 0302-9743

VL - 8461

SP - 1

EP - 16

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -