Safe distribution of declarative processes
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Original language | Undefined/Unknown |
---|---|
Title of host publication | Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings |
Editors | Gilles Barthe, Alberto Pardo, Gerardo Schneider |
Number of pages | 16 |
Publisher | Springer |
Publication date | 2011 |
Pages | 237-252 |
ISBN (Print) | 978-3-642-24689-0 |
ISBN (Electronic) | 978-3-642-24690-6 |
DOIs | |
Publication status | Published - 2011 |
Externally published | Yes |
Event | 9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay Duration: 14 Nov 2011 → 18 Nov 2011 Conference number: 9 |
Conference
Conference | 9th International Conference on Software Engineering and Formal Methods |
---|---|
Nummer | 9 |
Land | Uruguay |
By | Montevideo |
Periode | 14/11/2011 → 18/11/2011 |
Series | Lecture notes in computer science |
---|---|
Volume | 7041 |
ISSN | 0302-9743 |
ID: 168629563