Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Volume	8461
Pages (from-to)	1-16
Number of pages	16
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-662-43613-4_1
Publication status	Published - 2014

Access to Document

@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 -