Type checking liveness for collaborative processes with bounded and unbounded recursion

Søren Debois; Thomas Hildebrandt; Tijs Slaats; Nobuko Yoshida

doi:10.1007/978-3-662-43613-4_1

Type checking liveness for collaborative processes with bounded and unbounded recursion

Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	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
Editors	Erika Ábrahám, Catuscia Palamidessi
Number of pages	16
Publisher	Springer
Publication date	2014
Pages	1-16
ISBN (Print)	978-3-662-43612-7
ISBN (Electronic)	978-3-662-43613-4
DOIs	https://doi.org/10.1007/978-3-662-43613-4_1
Publication status	Published - 2014
Externally published	Yes
Event	34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Berlin, Germany Duration: 3 Jun 2014 → 5 Jun 2014 Conference number: 34

Conference

Conference	34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Number	34
Country/Territory	Germany
City	Berlin
Period	03/06/2014 → 05/06/2014

Series	Lecture notes in computer science
Volume	8461
ISSN	0302-9743

Access to Document

10.1007/978-3-662-43613-4_1

Cite this

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_1

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

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_1

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_1

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).

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

}

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 -