Safe distribution of declarative processes

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Original languageUndefined/Unknown
Title of host publicationSoftware Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
EditorsGilles Barthe, Alberto Pardo, Gerardo Schneider
Number of pages16
PublisherSpringer
Publication date2011
Pages237-252
ISBN (Print)978-3-642-24689-0
ISBN (Electronic)978-3-642-24690-6
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay
Duration: 14 Nov 201118 Nov 2011
Conference number: 9

Conference

Conference9th International Conference on Software Engineering and Formal Methods
Nummer9
LandUruguay
ByMontevideo
Periode14/11/201118/11/2011
SeriesLecture notes in computer science
Volume7041
ISSN0302-9743

ID: 168629563