Matches in SemOpenAlex for { <https://semopenalex.org/work/W2179766293> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2179766293 endingPage "446" @default.
- W2179766293 startingPage "425" @default.
- W2179766293 abstract "We investigate the relations between two automata-based models for describing and studying distributed services, called contract automata and communicating machines. In the first model, distributed services are abstracted away as automata – oblivious of their partners – that coordinate with each other through an orchestrator. The second one is concerned with the interactions occurring between distributed services, that are represented by channel-based asynchronous communications; then services are coordinated through choreography. We define a notion of strong agreement on contract automata; exhibit a natural mapping from this model to communicating machines with a synchronous semantics; and give conditions to ensure that strong agreement corresponds to well-formed choreography. Then these results are extended to a more liberal notion of agreement and to a fully asynchronous semantics of communicating machines." @default.
- W2179766293 created "2016-06-24" @default.
- W2179766293 creator A5026348666 @default.
- W2179766293 creator A5055266810 @default.
- W2179766293 creator A5055365661 @default.
- W2179766293 creator A5056498850 @default.
- W2179766293 date "2016-04-01" @default.
- W2179766293 modified "2023-10-18" @default.
- W2179766293 title "Relating two automata-based models of orchestration and choreography" @default.
- W2179766293 cites W2025970201 @default.
- W2179766293 cites W2040008220 @default.
- W2179766293 cites W2162021078 @default.
- W2179766293 cites W2162951904 @default.
- W2179766293 doi "https://doi.org/10.1016/j.jlamp.2015.09.011" @default.
- W2179766293 hasPublicationYear "2016" @default.
- W2179766293 type Work @default.
- W2179766293 sameAs 2179766293 @default.
- W2179766293 citedByCount "19" @default.
- W2179766293 countsByYear W21797662932016 @default.
- W2179766293 countsByYear W21797662932017 @default.
- W2179766293 countsByYear W21797662932018 @default.
- W2179766293 countsByYear W21797662932019 @default.
- W2179766293 countsByYear W21797662932020 @default.
- W2179766293 countsByYear W21797662932021 @default.
- W2179766293 countsByYear W21797662932022 @default.
- W2179766293 countsByYear W21797662932023 @default.
- W2179766293 crossrefType "journal-article" @default.
- W2179766293 hasAuthorship W2179766293A5026348666 @default.
- W2179766293 hasAuthorship W2179766293A5055266810 @default.
- W2179766293 hasAuthorship W2179766293A5055365661 @default.
- W2179766293 hasAuthorship W2179766293A5056498850 @default.
- W2179766293 hasBestOaLocation W21797662932 @default.
- W2179766293 hasConcept C112505250 @default.
- W2179766293 hasConcept C120314980 @default.
- W2179766293 hasConcept C124952713 @default.
- W2179766293 hasConcept C142362112 @default.
- W2179766293 hasConcept C147446459 @default.
- W2179766293 hasConcept C151319957 @default.
- W2179766293 hasConcept C153349607 @default.
- W2179766293 hasConcept C167822520 @default.
- W2179766293 hasConcept C183920142 @default.
- W2179766293 hasConcept C184337299 @default.
- W2179766293 hasConcept C199168358 @default.
- W2179766293 hasConcept C199360897 @default.
- W2179766293 hasConcept C31258907 @default.
- W2179766293 hasConcept C41008148 @default.
- W2179766293 hasConcept C558565934 @default.
- W2179766293 hasConcept C80444323 @default.
- W2179766293 hasConceptScore W2179766293C112505250 @default.
- W2179766293 hasConceptScore W2179766293C120314980 @default.
- W2179766293 hasConceptScore W2179766293C124952713 @default.
- W2179766293 hasConceptScore W2179766293C142362112 @default.
- W2179766293 hasConceptScore W2179766293C147446459 @default.
- W2179766293 hasConceptScore W2179766293C151319957 @default.
- W2179766293 hasConceptScore W2179766293C153349607 @default.
- W2179766293 hasConceptScore W2179766293C167822520 @default.
- W2179766293 hasConceptScore W2179766293C183920142 @default.
- W2179766293 hasConceptScore W2179766293C184337299 @default.
- W2179766293 hasConceptScore W2179766293C199168358 @default.
- W2179766293 hasConceptScore W2179766293C199360897 @default.
- W2179766293 hasConceptScore W2179766293C31258907 @default.
- W2179766293 hasConceptScore W2179766293C41008148 @default.
- W2179766293 hasConceptScore W2179766293C558565934 @default.
- W2179766293 hasConceptScore W2179766293C80444323 @default.
- W2179766293 hasFunder F4320320366 @default.
- W2179766293 hasFunder F4320334960 @default.
- W2179766293 hasIssue "3" @default.
- W2179766293 hasLocation W21797662931 @default.
- W2179766293 hasLocation W21797662932 @default.
- W2179766293 hasLocation W21797662933 @default.
- W2179766293 hasLocation W21797662934 @default.
- W2179766293 hasOpenAccess W2179766293 @default.
- W2179766293 hasPrimaryLocation W21797662931 @default.
- W2179766293 hasRelatedWork W1605079662 @default.
- W2179766293 hasRelatedWork W2104619509 @default.
- W2179766293 hasRelatedWork W2106982023 @default.
- W2179766293 hasRelatedWork W2179766293 @default.
- W2179766293 hasRelatedWork W3185526782 @default.
- W2179766293 hasRelatedWork W4235264343 @default.
- W2179766293 hasRelatedWork W4286894913 @default.
- W2179766293 hasRelatedWork W51650568 @default.
- W2179766293 hasRelatedWork W2591488871 @default.
- W2179766293 hasRelatedWork W3128310374 @default.
- W2179766293 hasVolume "85" @default.
- W2179766293 isParatext "false" @default.
- W2179766293 isRetracted "false" @default.
- W2179766293 magId "2179766293" @default.
- W2179766293 workType "article" @default.