{"id":"https://openalex.org/W4226047741","doi":"https://doi.org/10.1007/978-3-030-99336-8_19","title":"A Predicate Transformer for Choreographies","display_name":"A Predicate Transformer for Choreographies","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226047741","doi":"https://doi.org/10.1007/978-3-030-99336-8_19"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99336-8_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_19.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832","https://openalex.org/I4405262988"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["CWI, Amsterdam, the Netherlands","Department of Computer Science, Open University, Heerlen, the Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4394-8745","affiliations":[{"raw_affiliation_string":"CWI, Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Department of Computer Science, Open University, Heerlen, the Netherlands","institution_ids":["https://openalex.org/I7876267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083933972","display_name":"Petra van den Bos","orcid":"https://orcid.org/0000-0002-9212-1525"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Petra van den Bos","raw_affiliation_strings":["Formal Methods and Tools Group, University of Twente, Enschede, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Group, University of Twente, Enschede, the Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049418170"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I7876267"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":6.1398,"has_fulltext":true,"cited_by_count":18,"citation_normalized_percentile":{"value":0.97037144,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"520","last_page":"547"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8467056751251221},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7920809984207153},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.6927276253700256},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5781951546669006},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.5503666400909424},{"id":"https://openalex.org/keywords/transformer","display_name":"Transformer","score":0.5150880217552185},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4816266894340515},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47120019793510437},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38076862692832947}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8467056751251221},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7920809984207153},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.6927276253700256},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5781951546669006},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.5503666400909424},{"id":"https://openalex.org/C66322947","wikidata":"https://www.wikidata.org/wiki/Q11658","display_name":"Transformer","level":3,"score":0.5150880217552185},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4816266894340515},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47120019793510437},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38076862692832947},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-99336-8_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:ris.utwente.nl:openaire/6e527042-3c31-4966-89d1-f470e6fe55e3","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/6e527042-3c31-4966-89d1-f470e6fe55e3","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Jongmans, S-S & van den Bos, P 2022, A Predicate Transformer for Choreographies : Computing Preconditions in Choreographic Programming. in I 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\u20137, 2022, Proceedings. Springer, Cham, pp. 520-547, 31st European Symposium on Programming, ESOP 2022, Munich, Germany, 2/04/22. https://doi.org/10.1007/978-3-030-99336-8_19","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:cwi.nl:31619","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31619","pdf_url":"https://ir.cwi.nl/pub/31619/31619.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:research.ou.nl:publications/02b2b3d8-42d3-4d49-a983-5d402cc1cb25","is_oa":true,"landing_page_url":"https://hdl.handle.net/1820/02b2b3d8-42d3-4d49-a983-5d402cc1cb25","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"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\u20137, 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","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:ou:oai:research.ou.nl:publications/02b2b3d8-42d3-4d49-a983-5d402cc1cb25","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/02b2b3d8-42d3-4d49-a983-5d402cc1cb25","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"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\u20137, 2022, Proceedings, 13240(1), 520 - 547","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99336-8_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99336-8_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99336-8_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.8399999737739563,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5735709069","display_name":null,"funder_award_id":"016.Veni.192.103","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7010378412","display_name":null,"funder_award_id":"016.Veni","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226047741.pdf","grobid_xml":"https://content.openalex.org/works/W4226047741.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W1611165480","https://openalex.org/W1780016311","https://openalex.org/W1784055113","https://openalex.org/W1985161650","https://openalex.org/W1991621238","https://openalex.org/W2003314287","https://openalex.org/W2023489866","https://openalex.org/W2025827262","https://openalex.org/W2046488919","https://openalex.org/W2054364230","https://openalex.org/W2075426808","https://openalex.org/W2114877704","https://openalex.org/W2117694222","https://openalex.org/W2119992090","https://openalex.org/W2122261906","https://openalex.org/W2125398300","https://openalex.org/W2132761501","https://openalex.org/W2134200739","https://openalex.org/W2139204893","https://openalex.org/W2144531585","https://openalex.org/W2171592977","https://openalex.org/W2289301276","https://openalex.org/W2296390127","https://openalex.org/W2342200509","https://openalex.org/W2460202555","https://openalex.org/W2541923024","https://openalex.org/W2564875105","https://openalex.org/W2746792245","https://openalex.org/W2769566850","https://openalex.org/W2787969571","https://openalex.org/W2797038171","https://openalex.org/W2886908675","https://openalex.org/W2948961668","https://openalex.org/W2962520317","https://openalex.org/W2963418352","https://openalex.org/W2991353706","https://openalex.org/W2994908035","https://openalex.org/W3005258739","https://openalex.org/W3008328790","https://openalex.org/W3037922846","https://openalex.org/W3098996028","https://openalex.org/W3101043415","https://openalex.org/W3107309644","https://openalex.org/W3132401016","https://openalex.org/W3187321874","https://openalex.org/W3198885441","https://openalex.org/W4226047741","https://openalex.org/W4232794147","https://openalex.org/W4239234361","https://openalex.org/W4240807674","https://openalex.org/W4247441475","https://openalex.org/W7043434818"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4283160672"],"abstract_inverted_index":{"Abstract":[0],"Construction":[1],"and":[2],"analysis":[3,49],"of":[4,26,36,50],"distributed":[5,37,51],"systems":[6,38,52],"is":[7,11],"difficult;":[8],"choreographic":[9,27],"programming":[10],"a":[12,23,71,76],"deadlock-freedom-by-construction":[13],"approach":[14],"to":[15,53],"simplify":[16],"it.":[17],"In":[18],"this":[19],"paper,":[20],"we":[21],"present":[22],"new":[24,73],"theory":[25],"programming.":[28],"It":[29],"supports":[30],"for":[31,79],"the":[32],"first":[33],"time:":[34],"construction":[35],"that":[39],"require":[40],"decentralised":[41],"decision":[42],"making":[43],"(i.e.,":[44,63],"if/while-statements":[45],"with":[46],"multiparty":[47],"conditions);":[48],"provide":[54],"not":[55],"only":[56],"deadlock":[57],"freedom":[58],"but":[59],"also":[60],"functional":[61],"correctness":[62],"pre/postcondition":[64],"reasoning).":[65],"Both":[66],"contributions":[67],"are":[68],"enabled":[69],"by":[70],"single":[72],"technique,":[74],"namely":[75],"predicate":[77],"transformer":[78],"choreographies.":[80]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2022-05-05T00:00:00"}