Type checking liveness for collaborative processes with bounded and unbounded recursion

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

OriginalsprogEngelsk
TitelFormal 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
RedaktørerErika Ábrahám, Catuscia Palamidessi
Antal sider16
ForlagSpringer
Publikationsdato2014
Sider1-16
ISBN (Trykt)978-3-662-43612-7
ISBN (Elektronisk)978-3-662-43613-4
DOI
StatusUdgivet - 2014
Eksternt udgivetJa
Begivenhed34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems - Berlin, Tyskland
Varighed: 3 jun. 20145 jun. 2014
Konferencens nummer: 34

Konference

Konference34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems
Nummer34
LandTyskland
ByBerlin
Periode03/06/201405/06/2014
NavnLecture notes in computer science
Vol/bind8461
ISSN0302-9743

ID: 168631204