Standard
Type checking liveness for collaborative processes with bounded and unbounded recursion. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko.
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 1-16 (Lecture notes in computer science, Vol. 8461).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Debois, S
, Hildebrandt, T, Slaats, T & Yoshida, N 2014,
Type checking liveness for collaborative processes with bounded and unbounded recursion. in E Ábrahám & C Palamidessi (eds),
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Springer, Lecture notes in computer science, vol. 8461, pp. 1-16, 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Berlin, Germany,
03/06/2014.
https://doi.org/10.1007/978-3-662-43613-4_1APA
Debois, S.
, Hildebrandt, T., Slaats, T., & Yoshida, N. (2014).
Type checking liveness for collaborative processes with bounded and unbounded recursion. In E. Ábrahám, & C. Palamidessi (Eds.),
Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings (pp. 1-16). Springer. Lecture notes in computer science Vol. 8461
https://doi.org/10.1007/978-3-662-43613-4_1Vancouver
Debois S
, Hildebrandt T, Slaats T, Yoshida N.
Type checking liveness for collaborative processes with bounded and unbounded recursion. In Ábrahám E, Palamidessi C, editors, Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Springer. 2014. p. 1-16. (Lecture notes in computer science, Vol. 8461).
https://doi.org/10.1007/978-3-662-43613-4_1Author
Debois, Søren ; Hildebrandt, Thomas ; Slaats, Tijs ; Yoshida, Nobuko. / Type checking liveness for collaborative processes with bounded and unbounded recursion. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. editor / Erika Ábrahám ; Catuscia Palamidessi. Springer, 2014. pp. 1-16 (Lecture notes in computer science, Vol. 8461).
Bibtex
@inproceedings{53b7455488ee4bdd94e7bb1926e74203,
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",
isbn = "978-3-662-43612-7",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "1--16",
editor = "Erika {\'A}brah{\'a}m and Catuscia Palamidessi",
booktitle = "Formal Techniques for Distributed Objects, Components, and Systems",
address = "Switzerland",
note = "null ; Conference date: 03-06-2014 Through 05-06-2014",
}
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
N1 - Conference code: 34
PY - 2014
Y1 - 2014
U2 - 10.1007/978-3-662-43613-4_1
DO - 10.1007/978-3-662-43613-4_1
M3 - Article in proceedings
SN - 978-3-662-43612-7
T3 - Lecture notes in computer science
SP - 1
EP - 16
BT - Formal Techniques for Distributed Objects, Components, and Systems
A2 - Ábrahám, Erika
A2 - Palamidessi, Catuscia
PB - Springer
Y2 - 3 June 2014 through 5 June 2014
ER -
