A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

Sung-Shik Jongmans; Petra van den Bos

doi:10.1007/978-3-030-99336-8_19

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

Original language	English
Title of host publication	Programming Languages and Systems
Subtitle of host publication	31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
Editors	Ilya Sergey
Publisher	Springer
Pages	520-547
Volume	13240
Edition	1
ISBN (Electronic)	978-3-030-99336-8
ISBN (Print)	978-3-030-99335-1
DOIs	https://doi.org/10.1007/978-3-030-99336-8_19
Publication status	Published - 2022
Event	1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software - Munich, Germany Duration: 2 Apr 2022 → 7 Apr 2022

Publication series

Series	Lecture Notes in Computer Science
Volume	13240
ISSN	0302-9743

Conference

Conference	1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software
Abbreviated title	ESOP 2022 and ETAPS 2022
Country/Territory	Germany
City	Munich
Period	2/04/22 → 7/04/22

Access to Document

10.1007/978-3-030-99336-8_19Licence: CC BY

Cite this

Jongmans, S-S., & Bos, P. V. D. (2022). A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. In Ilya Sergey (Ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings (1 ed., Vol. 13240, pp. 520-547). Springer. Lecture Notes in Computer Science Vol. 13240 https://doi.org/10.1007/978-3-030-99336-8_19

Jongmans, Sung-Shik ; Bos, Petra van den. / A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. editor / Ilya Sergey. Vol. 13240 1. ed. Springer, 2022. pp. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

@inbook{02b2b3d842d34d49a9835d402cc1cb25,

title = "A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.",

author = "Sung-Shik Jongmans and Bos, {Petra van den}",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software, ESOP 2022 and ETAPS 2022 ; Conference date: 02-04-2022 Through 07-04-2022",

year = "2022",

doi = "10.1007/978-3-030-99336-8_19",

language = "English",

isbn = "978-3-030-99335-1",

volume = "13240",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "520--547",

editor = "{Ilya Sergey}",

booktitle = "Programming Languages and Systems",

edition = "1",

}

Jongmans, S-S & Bos, PVD 2022, A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. in Ilya Sergey (ed.), Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. 1 edn, vol. 13240, Springer, Lecture Notes in Computer Science, vol. 13240, pp. 520-547, 1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software, Munich, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99336-8_19

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. / Jongmans, Sung-Shik; Bos, Petra van den.

Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. ed. / Ilya Sergey. Vol. 13240 1. ed. Springer, 2022. p. 520-547 (Lecture Notes in Computer Science, Vol. 13240).

Research output: Chapter in Book/Report/Conference proceeding › Conference Abstract/Poster in proceeding › Academic › peer-review

TY - CHAP

T1 - A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

AU - Jongmans, Sung-Shik

AU - Bos, Petra van den

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-030-99336-8_19

DO - 10.1007/978-3-030-99336-8_19

M3 - Conference Abstract/Poster in proceeding

SN - 978-3-030-99335-1

VL - 13240

T3 - Lecture Notes in Computer Science

SP - 520

EP - 547

BT - Programming Languages and Systems

A2 - Ilya Sergey,

PB - Springer

T2 - 1st European Symposium on Programming and the European Joint Conferences on Theory and Practice of Software

Y2 - 2 April 2022 through 7 April 2022

ER -

Jongmans S-S, Bos PVD. A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. In Ilya Sergey, editor, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. 1 ed. Vol. 13240. Springer. 2022. p. 520-547. (Lecture Notes in Computer Science, Vol. 13240). doi: 10.1007/978-3-030-99336-8_19