{"id":"https://openalex.org/W2948961668","doi":"https://doi.org/10.1007/978-3-030-21759-4_8","title":"Declarative Choreographies and Liveness","display_name":"Declarative Choreographies and Liveness","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2948961668","doi":"https://doi.org/10.1007/978-3-030-21759-4_8","mag":"2948961668"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-21759-4_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-21759-4_8","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://inria.hal.science/hal-02313738","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082171323","display_name":"Thomas Hildebrandt","orcid":"https://orcid.org/0000-0002-7435-5563"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thomas T. Hildebrandt","raw_affiliation_strings":["Software, Data, People & Society Section, Department of Computer Science, Copenhagen University, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Software, Data, People & Society Section, Department of Computer Science, Copenhagen University, Copenhagen, Denmark","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075575926","display_name":"Tijs Slaats","orcid":"https://orcid.org/0000-0001-6244-6970"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tijs Slaats","raw_affiliation_strings":["Software, Data, People & Society Section, Department of Computer Science, Copenhagen University, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Software, Data, People & Society Section, Department of Computer Science, Copenhagen University, Copenhagen, Denmark","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087594010","display_name":"Hugo A. L\u00f3pez","orcid":"https://orcid.org/0000-0001-5162-7936"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hugo A. L\u00f3pez","raw_affiliation_strings":["DCR Solutions, Copenhagen, Denmark","Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"DCR Solutions, Copenhagen, Denmark","institution_ids":[]},{"raw_affiliation_string":"Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052605425","display_name":"S\u00f8ren Debois","orcid":"https://orcid.org/0000-0002-4385-1409"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"S\u00f8ren Debois","raw_affiliation_strings":["Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091406959","display_name":"Marco Carbone","orcid":"https://orcid.org/0000-0001-9479-2632"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Marco Carbone","raw_affiliation_strings":["Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, IT University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5082171323"],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.5682,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.92703349,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"129","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.998199999332428,"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/T10142","display_name":"Formal Methods in Verification","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/liveness","display_name":"Liveness","score":0.9511246681213379},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8038514852523804},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6118499636650085},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.5202142596244812},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47877323627471924},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.45850473642349243},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4496050179004669},{"id":"https://openalex.org/keywords/visualization","display_name":"Visualization","score":0.2233285903930664},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1580335795879364},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1116083562374115}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9511246681213379},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8038514852523804},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6118499636650085},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.5202142596244812},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47877323627471924},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.45850473642349243},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4496050179004669},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.2233285903930664},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1580335795879364},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1116083562374115},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-21759-4_8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-21759-4_8","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-02313738v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02313738","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/6184f633-0354-4f87-958c-828245aa7345","is_oa":false,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/6184f633-0354-4f87-958c-828245aa7345","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hildebrandt , T T , Slaats , T , L\u00f3pez , H A , Debois , S & Carbone , M 2019 , Declarative Choreographies and Liveness . in J A P\u00e9rez & N Yoshida (eds) , Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 11535 LNCS , pp. 129-147 , 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019 held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 , Kongens Lyngby , Denmark , 17/06/2019 . https://doi.org/10.1007/978-3-030-21759-4_8","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/486fbcd3-85c7-42d1-9a66-809e6ade54d9","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/486fbcd3-85c7-42d1-9a66-809e6ade54d9","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hildebrandt, T T, Slaats, T, L\u00f3pez, H A, Debois, S & Carbone, M 2019, Declarative Choreographies and Liveness. in International Conference on Formal Techniques for Distributed Objects, Components, and Systems : FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, Lecture Notes in Computer Science, vol. 11535, pp. 129-147. https://doi.org/10.1007/978-3-030-21759-4_8","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-02313738v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-02313738","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"},{"id":"https://openalex.org/F4320322928","display_name":"Danmarks Frie Forskningsfond","ror":"https://ror.org/02sptwz63"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W60018517","https://openalex.org/W108038394","https://openalex.org/W169793935","https://openalex.org/W1166377735","https://openalex.org/W1491259661","https://openalex.org/W1780016311","https://openalex.org/W1898728773","https://openalex.org/W1988428847","https://openalex.org/W1991621238","https://openalex.org/W2023489866","https://openalex.org/W2059243982","https://openalex.org/W2076742248","https://openalex.org/W2109282045","https://openalex.org/W2110279509","https://openalex.org/W2114877704","https://openalex.org/W2130273205","https://openalex.org/W2141928434","https://openalex.org/W2167405691","https://openalex.org/W2169265999","https://openalex.org/W2325347394","https://openalex.org/W2475400411","https://openalex.org/W2564372592","https://openalex.org/W2760374955","https://openalex.org/W2766961549","https://openalex.org/W2769566850","https://openalex.org/W2799783906","https://openalex.org/W2893091884","https://openalex.org/W2910736593","https://openalex.org/W2911810732","https://openalex.org/W2951906247","https://openalex.org/W2995356440","https://openalex.org/W3005258739","https://openalex.org/W3009331296","https://openalex.org/W3012195709","https://openalex.org/W3100953548","https://openalex.org/W3104341272","https://openalex.org/W3147492771","https://openalex.org/W3151791533","https://openalex.org/W4247441475","https://openalex.org/W4385508253"],"related_works":["https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W2053262709","https://openalex.org/W3160870209","https://openalex.org/W3349016","https://openalex.org/W2494011163","https://openalex.org/W1481041875","https://openalex.org/W2139648957","https://openalex.org/W2391970076","https://openalex.org/W10278191"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}