Type checking liveness for collaborative processes with bounded and unbounded recursion
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
| 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 | |
| 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 |
|---|---|
| Nummer | 34 |
| Land | Germany |
| By | Berlin |
| Periode | 03/06/2014 → 05/06/2014 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 8461 |
| ISSN | 0302-9743 |
ID: 168631204