ITU

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Standard

Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko.

In: Lecture Notes in Computer Science, Vol. 8461, 2014, p. 1-16.

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bibtex

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

}

RIS

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

VL - 8461

SP - 1

EP - 16

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -

ID: 78913609