ITU

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

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 Journal › Conference article › Research › peer-review

Harvard

Debois, S, Hildebrandt, T, Slaats, T & Yoshida, N 2014, 'Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion', Lecture Notes in Computer Science, vol. 8461, pp. 1-16. https://doi.org/10.1007/978-3-662-43613-4_1

APA

Debois, S., Hildebrandt, T., Slaats, T., & Yoshida, N. (2014). Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Lecture Notes in Computer Science, 8461, 1-16. https://doi.org/10.1007/978-3-662-43613-4_1

Vancouver

Debois S, Hildebrandt T, Slaats T, Yoshida N. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Lecture Notes in Computer Science. 2014;8461:1-16. https://doi.org/10.1007/978-3-662-43613-4_1

Author

Debois, Søren ; Hildebrandt, Thomas ; Slaats, Tijs ; Yoshida, Nobuko. / Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. In: Lecture Notes in Computer Science. 2014 ; Vol. 8461. pp. 1-16.

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