Safe distribution of declarative processes

Thomas Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats

doi:10.1007/978-3-642-24690-6_17

Safe distribution of declarative processes

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

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

23 Citations (Scopus)

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	https://doi.org/10.1007/978-3-642-24690-6_17
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
Number	9
Country/Territory	Uruguay
City	Montevideo
Period	14/11/2011 → 18/11/2011

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

Access to Document

10.1007/978-3-642-24690-6_17

Cite this

Hildebrandt, T., Mukkamala, R. R., & Slaats, T. (2011). Safe distribution of declarative processes. In G. Barthe, A. Pardo, & G. Schneider (Eds.), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings (pp. 237-252). Springer. Lecture notes in computer science Vol. 7041 https://doi.org/10.1007/978-3-642-24690-6_17

Safe distribution of declarative processes. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. ed. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. p. 237-252 (Lecture notes in computer science, Vol. 7041).

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

Hildebrandt, T, Mukkamala, RR & Slaats, T 2011, Safe distribution of declarative processes. in G Barthe, A Pardo & G Schneider (eds), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer, Lecture notes in computer science, vol. 7041, pp. 237-252, 9th International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay, 14/11/2011. https://doi.org/10.1007/978-3-642-24690-6_17

Hildebrandt T, Mukkamala RR, Slaats T. Safe distribution of declarative processes. In Barthe G, Pardo A, Schneider G, editors, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer. 2011. p. 237-252. (Lecture notes in computer science, Vol. 7041). https://doi.org/10.1007/978-3-642-24690-6_17

Hildebrandt, Thomas ; Mukkamala, Raghava Rao ; Slaats, Tijs. / Safe distribution of declarative processes. Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. editor / Gilles Barthe ; Alberto Pardo ; Gerardo Schneider. Springer, 2011. pp. 237-252 (Lecture notes in computer science, Vol. 7041).

@inbook{12c8931328b54055beed92ae1b2a9039,

title = "Safe distribution of declarative processes",

author = "Thomas Hildebrandt and Mukkamala, {Raghava Rao} and Tijs Slaats",

year = "2011",

doi = "10.1007/978-3-642-24690-6_17",

language = "Udefineret/Ukendt",

isbn = "978-3-642-24689-0",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "237--252",

editor = "Gilles Barthe and Alberto Pardo and Gerardo Schneider",

booktitle = "Software Engineering and Formal Methods",

address = "Schweiz",

note = "null ; Conference date: 14-11-2011 Through 18-11-2011",

}

TY - CHAP

T1 - Safe distribution of declarative processes

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

N1 - Conference code: 9

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-24690-6_17

DO - 10.1007/978-3-642-24690-6_17

M3 - Bidrag til bog/antologi

SN - 978-3-642-24689-0

T3 - Lecture notes in computer science

SP - 237

EP - 252

BT - Software Engineering and Formal Methods

A2 - Barthe, Gilles

A2 - Pardo, Alberto

A2 - Schneider, Gerardo

PB - Springer

Y2 - 14 November 2011 through 18 November 2011

ER -