FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161031452> ?p ?o ?g. }

• W2161031452 endingPage "30" @default.
• W2161031452 startingPage "3" @default.
• W2161031452 abstract "Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an 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 tree, each branch 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 transactions, and show how existing Mondex refinements embody the ideas developed. Keywords:" @default.
• W2161031452 created "2016-06-24" @default.
• W2161031452 creator A5020041058 @default.
• W2161031452 creator A5075794170 @default.
• W2161031452 date "2008-03-01" @default.
• W2161031452 modified "2023-09-24" @default.
• W2161031452 title "On the Refinement of Atomic Actions" @default.
• W2161031452 cites W1496133442 @default.
• W2161031452 cites W1505593098 @default.
• W2161031452 cites W1528438529 @default.
• W2161031452 cites W1534850143 @default.
• W2161031452 cites W1545155892 @default.
• W2161031452 cites W1564123263 @default.
• W2161031452 cites W1564787711 @default.
• W2161031452 cites W1585290860 @default.
• W2161031452 cites W179373627 @default.
• W2161031452 cites W1853368733 @default.
• W2161031452 cites W1969402593 @default.
• W2161031452 cites W2048884567 @default.
• W2161031452 cites W2128543817 @default.
• W2161031452 cites W2144973245 @default.
• W2161031452 cites W2146700742 @default.
• W2161031452 cites W2328819335 @default.
• W2161031452 cites W2498046939 @default.
• W2161031452 cites W2500079794 @default.
• W2161031452 cites W3000555422 @default.
• W2161031452 cites W3045736986 @default.
• W2161031452 doi "https://doi.org/10.1016/j.entcs.2008.02.013" @default.
• W2161031452 hasPublicationYear "2008" @default.
• W2161031452 type Work @default.
• W2161031452 sameAs 2161031452 @default.
• W2161031452 citedByCount "3" @default.
• W2161031452 crossrefType "journal-article" @default.
• W2161031452 hasAuthorship W2161031452A5020041058 @default.
• W2161031452 hasAuthorship W2161031452A5075794170 @default.
• W2161031452 hasBestOaLocation W21610314521 @default.
• W2161031452 hasConcept C113174947 @default.
• W2161031452 hasConcept C11413529 @default.
• W2161031452 hasConcept C114614502 @default.
• W2161031452 hasConcept C121332964 @default.
• W2161031452 hasConcept C142724271 @default.
• W2161031452 hasConcept C154945302 @default.
• W2161031452 hasConcept C186399060 @default.
• W2161031452 hasConcept C199360897 @default.
• W2161031452 hasConcept C204787440 @default.
• W2161031452 hasConcept C2524010 @default.
• W2161031452 hasConcept C2777530160 @default.
• W2161031452 hasConcept C2777735758 @default.
• W2161031452 hasConcept C2780385302 @default.
• W2161031452 hasConcept C2780791683 @default.
• W2161031452 hasConcept C28719098 @default.
• W2161031452 hasConcept C33923547 @default.
• W2161031452 hasConcept C34849589 @default.
• W2161031452 hasConcept C41008148 @default.
• W2161031452 hasConcept C45374587 @default.
• W2161031452 hasConcept C62520636 @default.
• W2161031452 hasConcept C71924100 @default.
• W2161031452 hasConcept C77088390 @default.
• W2161031452 hasConcept C80444323 @default.
• W2161031452 hasConceptScore W2161031452C113174947 @default.
• W2161031452 hasConceptScore W2161031452C11413529 @default.
• W2161031452 hasConceptScore W2161031452C114614502 @default.
• W2161031452 hasConceptScore W2161031452C121332964 @default.
• W2161031452 hasConceptScore W2161031452C142724271 @default.
• W2161031452 hasConceptScore W2161031452C154945302 @default.
• W2161031452 hasConceptScore W2161031452C186399060 @default.
• W2161031452 hasConceptScore W2161031452C199360897 @default.
• W2161031452 hasConceptScore W2161031452C204787440 @default.
• W2161031452 hasConceptScore W2161031452C2524010 @default.
• W2161031452 hasConceptScore W2161031452C2777530160 @default.
• W2161031452 hasConceptScore W2161031452C2777735758 @default.
• W2161031452 hasConceptScore W2161031452C2780385302 @default.
• W2161031452 hasConceptScore W2161031452C2780791683 @default.
• W2161031452 hasConceptScore W2161031452C28719098 @default.
• W2161031452 hasConceptScore W2161031452C33923547 @default.
• W2161031452 hasConceptScore W2161031452C34849589 @default.
• W2161031452 hasConceptScore W2161031452C41008148 @default.
• W2161031452 hasConceptScore W2161031452C45374587 @default.
• W2161031452 hasConceptScore W2161031452C62520636 @default.
• W2161031452 hasConceptScore W2161031452C71924100 @default.
• W2161031452 hasConceptScore W2161031452C77088390 @default.
• W2161031452 hasConceptScore W2161031452C80444323 @default.
• W2161031452 hasLocation W21610314521 @default.
• W2161031452 hasLocation W21610314522 @default.
• W2161031452 hasLocation W21610314523 @default.
• W2161031452 hasOpenAccess W2161031452 @default.
• W2161031452 hasPrimaryLocation W21610314521 @default.
• W2161031452 hasRelatedWork W1500064003 @default.
• W2161031452 hasRelatedWork W1900393469 @default.
• W2161031452 hasRelatedWork W1995272345 @default.
• W2161031452 hasRelatedWork W2119138398 @default.
• W2161031452 hasRelatedWork W2354062721 @default.
• W2161031452 hasRelatedWork W2373532818 @default.
• W2161031452 hasRelatedWork W2380376766 @default.
• W2161031452 hasRelatedWork W2383513547 @default.
• W2161031452 hasRelatedWork W3176281610 @default.
• W2161031452 hasRelatedWork W4295190507 @default.
• W2161031452 hasVolume "201" @default.

• next