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

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

23 Citationer (Scopus)

Originalsprog	Udefineret/Ukendt
Titel	Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
Redaktører	Gilles Barthe, Alberto Pardo, Gerardo Schneider
Antal sider	16
Forlag	Springer
Publikationsdato	2011
Sider	237-252
ISBN (Trykt)	978-3-642-24689-0
ISBN (Elektronisk)	978-3-642-24690-6
DOI	https://doi.org/10.1007/978-3-642-24690-6_17
Status	Udgivet - 2011
Udgivet eksternt	Ja
Begivenhed	9th International Conference on Software Engineering and Formal Methods - Montevideo, Uruguay Varighed: 14 nov. 2011 → 18 nov. 2011 Konferencens nummer: 9

Konference

Konference	9th International Conference on Software Engineering and Formal Methods
Nummer	9
Land/Område	Uruguay
By	Montevideo
Periode	14/11/2011 → 18/11/2011

Navn	Lecture notes in computer science
Vol/bind	7041
ISSN	0302-9743

Adgang til dokumentet

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

Citationsformater

Hildebrandt, T., Mukkamala, R. R., & Slaats, T. (2011). Safe distribution of declarative processes. I G. Barthe, A. Pardo, & G. Schneider (red.), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings (s. 237-252). Springer. Lecture notes in computer science Bind 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. red. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. s. 237-252 (Lecture notes in computer science, Bind 7041).

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

Hildebrandt, T, Mukkamala, RR & Slaats, T 2011, Safe distribution of declarative processes. i G Barthe, A Pardo & G Schneider (red), Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer, Lecture notes in computer science, bind 7041, s. 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. I Barthe G, Pardo A, Schneider G, red., Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Springer. 2011. s. 237-252. (Lecture notes in computer science, Bind 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. red. / Gilles Barthe ; Alberto Pardo ; Gerardo Schneider. Springer, 2011. s. 237-252 (Lecture notes in computer science, Bind 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 -