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. red. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. s. 1-16 (Lecture notes in computer science, Bind 8461).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Debois, S
, Hildebrandt, T, Slaats, T & Yoshida, N 2014,
Type checking liveness for collaborative processes with bounded and unbounded recursion. i E Ábrahám & C Palamidessi (red),
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, bind 8461, s. 1-16, 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Berlin, Tyskland,
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. I E. Ábrahám, & C. Palamidessi (red.),
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 (s. 1-16). Springer. Lecture notes in computer science Bind 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. I Ábrahám E, Palamidessi C, red., 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. s. 1-16. (Lecture notes in computer science, Bind 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. red. / Erika Ábrahám ; Catuscia Palamidessi. Springer, 2014. s. 1-16 (Lecture notes in computer science, Bind 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 -
