Matches in SemOpenAlex for { <https://semopenalex.org/work/W2986938454> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2986938454 endingPage "138" @default.
- W2986938454 startingPage "118" @default.
- W2986938454 abstract "In Choreographic Programming, a choreography specifies in a single artefact the expected behaviour of all the participants in a distributed system. The choreography is used to synthesise correct-by-construction programs for each participant. In previous work, we defined Dynamic Choreographies to support the update of distributed systems at runtime. In this work, we extend Dynamic Choreographies to include new participants at runtime, capturing those use cases where the system might be updated to interact with new, unforeseen stakeholders. We formalise our extension, prove its correctness, and present an implementation in the AIOCJ choreographic framework." @default.
- W2986938454 created "2019-11-22" @default.
- W2986938454 creator A5025039355 @default.
- W2986938454 creator A5030878839 @default.
- W2986938454 creator A5035838492 @default.
- W2986938454 creator A5058872144 @default.
- W2986938454 date "2019-01-01" @default.
- W2986938454 modified "2023-10-18" @default.
- W2986938454 title "Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies" @default.
- W2986938454 cites W122332163 @default.
- W2986938454 cites W1497524189 @default.
- W2986938454 cites W1554605283 @default.
- W2986938454 cites W1874173005 @default.
- W2986938454 cites W1970654924 @default.
- W2986938454 cites W1979914341 @default.
- W2986938454 cites W1991621238 @default.
- W2986938454 cites W2023450657 @default.
- W2986938454 cites W2049321516 @default.
- W2986938454 cites W2059243982 @default.
- W2986938454 cites W2135158729 @default.
- W2986938454 cites W2135622311 @default.
- W2986938454 cites W2139204893 @default.
- W2986938454 cites W2162612590 @default.
- W2986938454 cites W2181687669 @default.
- W2986938454 cites W2342200509 @default.
- W2986938454 cites W2344922046 @default.
- W2986938454 cites W2387025492 @default.
- W2986938454 cites W2626089800 @default.
- W2986938454 cites W2896443059 @default.
- W2986938454 cites W2913040870 @default.
- W2986938454 cites W2963026732 @default.
- W2986938454 cites W3005258739 @default.
- W2986938454 cites W3005875561 @default.
- W2986938454 cites W3008328790 @default.
- W2986938454 doi "https://doi.org/10.1007/978-3-030-31175-9_8" @default.
- W2986938454 hasPublicationYear "2019" @default.
- W2986938454 type Work @default.
- W2986938454 sameAs 2986938454 @default.
- W2986938454 citedByCount "0" @default.
- W2986938454 crossrefType "book-chapter" @default.
- W2986938454 hasAuthorship W2986938454A5025039355 @default.
- W2986938454 hasAuthorship W2986938454A5030878839 @default.
- W2986938454 hasAuthorship W2986938454A5035838492 @default.
- W2986938454 hasAuthorship W2986938454A5058872144 @default.
- W2986938454 hasBestOaLocation W29869384542 @default.
- W2986938454 hasConcept C107457646 @default.
- W2986938454 hasConcept C109359841 @default.
- W2986938454 hasConcept C115903868 @default.
- W2986938454 hasConcept C120314980 @default.
- W2986938454 hasConcept C124952713 @default.
- W2986938454 hasConcept C142362112 @default.
- W2986938454 hasConcept C147446459 @default.
- W2986938454 hasConcept C15744967 @default.
- W2986938454 hasConcept C183920142 @default.
- W2986938454 hasConcept C199360897 @default.
- W2986938454 hasConcept C41008148 @default.
- W2986938454 hasConcept C55439883 @default.
- W2986938454 hasConcept C77805123 @default.
- W2986938454 hasConceptScore W2986938454C107457646 @default.
- W2986938454 hasConceptScore W2986938454C109359841 @default.
- W2986938454 hasConceptScore W2986938454C115903868 @default.
- W2986938454 hasConceptScore W2986938454C120314980 @default.
- W2986938454 hasConceptScore W2986938454C124952713 @default.
- W2986938454 hasConceptScore W2986938454C142362112 @default.
- W2986938454 hasConceptScore W2986938454C147446459 @default.
- W2986938454 hasConceptScore W2986938454C15744967 @default.
- W2986938454 hasConceptScore W2986938454C183920142 @default.
- W2986938454 hasConceptScore W2986938454C199360897 @default.
- W2986938454 hasConceptScore W2986938454C41008148 @default.
- W2986938454 hasConceptScore W2986938454C55439883 @default.
- W2986938454 hasConceptScore W2986938454C77805123 @default.
- W2986938454 hasLocation W29869384541 @default.
- W2986938454 hasLocation W29869384542 @default.
- W2986938454 hasLocation W29869384543 @default.
- W2986938454 hasLocation W29869384544 @default.
- W2986938454 hasLocation W29869384545 @default.
- W2986938454 hasOpenAccess W2986938454 @default.
- W2986938454 hasPrimaryLocation W29869384541 @default.
- W2986938454 hasRelatedWork W131367131 @default.
- W2986938454 hasRelatedWork W1517743118 @default.
- W2986938454 hasRelatedWork W2024218563 @default.
- W2986938454 hasRelatedWork W2072806201 @default.
- W2986938454 hasRelatedWork W2281090687 @default.
- W2986938454 hasRelatedWork W2965845133 @default.
- W2986938454 hasRelatedWork W2986938454 @default.
- W2986938454 hasRelatedWork W3001675647 @default.
- W2986938454 hasRelatedWork W4243252198 @default.
- W2986938454 hasRelatedWork W1670831115 @default.
- W2986938454 isParatext "false" @default.
- W2986938454 isRetracted "false" @default.
- W2986938454 magId "2986938454" @default.
- W2986938454 workType "book-chapter" @default.