@InProceedings{Sung2022,
author="Jongmans, Sung-Shik
and van den Bos, Petra",
editor="Sergey, Ilya",
title="A Predicate Transformer for Choreographies",
booktitle="Programming Languages and Systems",
year="2022",
publisher="Springer International Publishing",
address="Cham",
pages="520--547",
isbn="978-3-030-99336-8",
url="https://link.springer.com/chapter/10.1007/978-3-030-99336-8_19"
}

{"_id":"pLypT6fAxC4bs9DSX","bibbaseid":"jongmans-vandenbos-apredicatetransformerforchoreographies-2022","author_short":["Jongmans, S.","van den Bos, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Jongmans"],"firstnames":["Sung-Shik"],"suffixes":[]},{"propositions":["van","den"],"lastnames":["Bos"],"firstnames":["Petra"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Sergey"],"firstnames":["Ilya"],"suffixes":[]}],"title":"A Predicate Transformer for Choreographies","booktitle":"Programming Languages and Systems","year":"2022","publisher":"Springer International Publishing","address":"Cham","pages":"520–547","isbn":"978-3-030-99336-8","url":"https://link.springer.com/chapter/10.1007/978-3-030-99336-8_19","bibtex":"@InProceedings{Sung2022,\nauthor=\"Jongmans, Sung-Shik\nand van den Bos, Petra\",\neditor=\"Sergey, Ilya\",\ntitle=\"A Predicate Transformer for Choreographies\",\nbooktitle=\"Programming Languages and Systems\",\nyear=\"2022\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"520--547\",\nisbn=\"978-3-030-99336-8\",\nurl=\"https://link.springer.com/chapter/10.1007/978-3-030-99336-8_19\"\n}\n\n\n\n","author_short":["Jongmans, S.","van den Bos, P."],"editor_short":["Sergey, I."],"key":"Sung2022","id":"Sung2022","bibbaseid":"jongmans-vandenbos-apredicatetransformerforchoreographies-2022","role":"author","urls":{"Paper":"https://link.springer.com/chapter/10.1007/978-3-030-99336-8_19"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/utwente-fmt/vercors-web/master/static/references.bib","dataSources":["2tJugFYAignELAmZo","cCvCnPTRQYq3qPe9y"],"keywords":[],"search_terms":["predicate","transformer","choreographies","jongmans","van den bos"],"title":"A Predicate Transformer for Choreographies","year":2022}