Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089894773> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2089894773 endingPage "61" @default.
- W2089894773 startingPage "33" @default.
- W2089894773 abstract "Abstract Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, and different after-states corresponding to different possible outcomes when the action is attempted. We view a protocol for an atomic action as a computation DAG, each path of which achieves in several steps one of the outcomes of the atomic action. We show that in this picture, the protocol can be viewed as a relational refinement of the atomic action in a number of ways. Firstly, it yields a ‘big diagram’ simulation à la ASM. Secondly, it yields a ‘small diagram’ simulation, in which the atomic action is synchronised with an individual step along each path through the protocol, and all the other steps of the path simulate skip. We show that provided each path through the protocol contains one step synchronised with the atomic action, the choice of synchronisation point can be made freely. We describe the relationship between such synchronisations and forward and backward simulations. We relate this theory to serialisations of system runs containing multiple interleaved transactions, showing how the clean picture of the refinement of an isolated atomic action to an isolated protocol becomes obscured by the details of the interleaving. In effect, the fact that protocols are typically executed by a number of co-operating agents, not all of which embark on executing the protocol at the same moment, results in ‘ragged starts’ and ‘ragged ends’ to protocol instantiations, leading to potential overlaps between unrelated protocol instances that the theory must handle. We show how existing Mondex refinements embody the ideas developed, and describe a mechanical verification of the results presented." @default.
- W2089894773 created "2016-06-24" @default.
- W2089894773 creator A5020041058 @default.
- W2089894773 creator A5075794170 @default.
- W2089894773 date "2010-01-01" @default.
- W2089894773 modified "2023-09-27" @default.
- W2089894773 title "Atomic actions, and their refinements to isolated protocols" @default.
- W2089894773 cites W1496133442 @default.
- W2089894773 cites W1505593098 @default.
- W2089894773 cites W1506765424 @default.
- W2089894773 cites W1534850143 @default.
- W2089894773 cites W1985464429 @default.
- W2089894773 cites W1989279866 @default.
- W2089894773 cites W1991052229 @default.
- W2089894773 cites W2048884567 @default.
- W2089894773 cites W2058581099 @default.
- W2089894773 cites W2102059747 @default.
- W2089894773 cites W4230427076 @default.
- W2089894773 cites W4230958226 @default.
- W2089894773 cites W4233702006 @default.
- W2089894773 cites W4253543873 @default.
- W2089894773 doi "https://doi.org/10.1007/s00165-009-0103-1" @default.
- W2089894773 hasPublicationYear "2010" @default.
- W2089894773 type Work @default.
- W2089894773 sameAs 2089894773 @default.
- W2089894773 citedByCount "7" @default.
- W2089894773 countsByYear W20898947732014 @default.
- W2089894773 countsByYear W20898947732020 @default.
- W2089894773 crossrefType "journal-article" @default.
- W2089894773 hasAuthorship W2089894773A5020041058 @default.
- W2089894773 hasAuthorship W2089894773A5075794170 @default.
- W2089894773 hasBestOaLocation W20898947731 @default.
- W2089894773 hasConcept C111919701 @default.
- W2089894773 hasConcept C121332964 @default.
- W2089894773 hasConcept C142724271 @default.
- W2089894773 hasConcept C188045909 @default.
- W2089894773 hasConcept C199360897 @default.
- W2089894773 hasConcept C204787440 @default.
- W2089894773 hasConcept C2777735758 @default.
- W2089894773 hasConcept C2780385302 @default.
- W2089894773 hasConcept C2780791683 @default.
- W2089894773 hasConcept C28034677 @default.
- W2089894773 hasConcept C41008148 @default.
- W2089894773 hasConcept C62520636 @default.
- W2089894773 hasConcept C71924100 @default.
- W2089894773 hasConcept C75949130 @default.
- W2089894773 hasConcept C80444323 @default.
- W2089894773 hasConceptScore W2089894773C111919701 @default.
- W2089894773 hasConceptScore W2089894773C121332964 @default.
- W2089894773 hasConceptScore W2089894773C142724271 @default.
- W2089894773 hasConceptScore W2089894773C188045909 @default.
- W2089894773 hasConceptScore W2089894773C199360897 @default.
- W2089894773 hasConceptScore W2089894773C204787440 @default.
- W2089894773 hasConceptScore W2089894773C2777735758 @default.
- W2089894773 hasConceptScore W2089894773C2780385302 @default.
- W2089894773 hasConceptScore W2089894773C2780791683 @default.
- W2089894773 hasConceptScore W2089894773C28034677 @default.
- W2089894773 hasConceptScore W2089894773C41008148 @default.
- W2089894773 hasConceptScore W2089894773C62520636 @default.
- W2089894773 hasConceptScore W2089894773C71924100 @default.
- W2089894773 hasConceptScore W2089894773C75949130 @default.
- W2089894773 hasConceptScore W2089894773C80444323 @default.
- W2089894773 hasIssue "1" @default.
- W2089894773 hasLocation W20898947731 @default.
- W2089894773 hasLocation W20898947732 @default.
- W2089894773 hasLocation W20898947733 @default.
- W2089894773 hasLocation W20898947734 @default.
- W2089894773 hasOpenAccess W2089894773 @default.
- W2089894773 hasPrimaryLocation W20898947731 @default.
- W2089894773 hasRelatedWork W135928233 @default.
- W2089894773 hasRelatedWork W155581612 @default.
- W2089894773 hasRelatedWork W1800397244 @default.
- W2089894773 hasRelatedWork W2010830544 @default.
- W2089894773 hasRelatedWork W2043941084 @default.
- W2089894773 hasRelatedWork W2089894773 @default.
- W2089894773 hasRelatedWork W2090756633 @default.
- W2089894773 hasRelatedWork W2383284615 @default.
- W2089894773 hasRelatedWork W2776953575 @default.
- W2089894773 hasRelatedWork W2998398829 @default.
- W2089894773 hasVolume "22" @default.
- W2089894773 isParatext "false" @default.
- W2089894773 isRetracted "false" @default.
- W2089894773 magId "2089894773" @default.
- W2089894773 workType "article" @default.