Type checking liveness for collaborative processes with bounded and unbounded recursion

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedings

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/rapportKonferencebidrag i proceedings

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_1

APA

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_1

Vancouver

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_1

Author

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

ID: 168631204