Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287392595> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4287392595 abstract "Establishing equivalences between programs or systems is crucial both for verifying correctness of programs, by establishing that two implementations are equivalent, and for justifying optimisations and program transformations, by establishing that a modified program is equivalent to the source one. There exist several equivalence relations for programs, and bisimulations are among the most versatile of these equivalences. Among bisimulation relations one distinguishes strong bisimulation, that requires that each action of a program is simulated by a single action of the equivalent program, a weak bisimulation that is a coarser relation, allowing some of the actions to be invisible or internal moves, and thus not simulated by the equivalent program. pNet is a generalisation of automata that model open systems. They feature variables and hierarchical composition. Open pNets are pNets with holes, i.e. placeholders inside the hierarchical structure that can be filled later by sub-systems. This article defines bisimulation relations for the comparison of systems specified as pNets. We first define a strong bisimulation for open pNets. We then define an equivalence relation similar to the classical weak bisimulation, and study its properties. Among these properties we are interested in compositionality: if two systems are proven equivalent they will be undistinguishable by their context, and they will also be undistinguishable when their holes are filled with equivalent systems. We identify sufficient conditions on the automata to ensure compositionality of strong and weak bisimulation. The article is illustrated with a transport protocol running example; it shows the characteristics of our formalism and our bisimulation relations." @default.
- W4287392595 created "2022-07-25" @default.
- W4287392595 creator A5061305578 @default.
- W4287392595 creator A5062143465 @default.
- W4287392595 creator A5087784227 @default.
- W4287392595 date "2020-07-21" @default.
- W4287392595 modified "2023-09-27" @default.
- W4287392595 title "Compositional equivalences based on Open pNets" @default.
- W4287392595 doi "https://doi.org/10.48550/arxiv.2007.10770" @default.
- W4287392595 hasPublicationYear "2020" @default.
- W4287392595 type Work @default.
- W4287392595 citedByCount "0" @default.
- W4287392595 crossrefType "posted-content" @default.
- W4287392595 hasAuthorship W4287392595A5061305578 @default.
- W4287392595 hasAuthorship W4287392595A5062143465 @default.
- W4287392595 hasAuthorship W4287392595A5087784227 @default.
- W4287392595 hasBestOaLocation W42873925951 @default.
- W4287392595 hasConcept C112505250 @default.
- W4287392595 hasConcept C118615104 @default.
- W4287392595 hasConcept C121375916 @default.
- W4287392595 hasConcept C135315306 @default.
- W4287392595 hasConcept C136119220 @default.
- W4287392595 hasConcept C154945302 @default.
- W4287392595 hasConcept C156103551 @default.
- W4287392595 hasConcept C199360897 @default.
- W4287392595 hasConcept C202444582 @default.
- W4287392595 hasConcept C2780069185 @default.
- W4287392595 hasConcept C33923547 @default.
- W4287392595 hasConcept C41008148 @default.
- W4287392595 hasConcept C55439883 @default.
- W4287392595 hasConcept C70846408 @default.
- W4287392595 hasConcept C80444323 @default.
- W4287392595 hasConceptScore W4287392595C112505250 @default.
- W4287392595 hasConceptScore W4287392595C118615104 @default.
- W4287392595 hasConceptScore W4287392595C121375916 @default.
- W4287392595 hasConceptScore W4287392595C135315306 @default.
- W4287392595 hasConceptScore W4287392595C136119220 @default.
- W4287392595 hasConceptScore W4287392595C154945302 @default.
- W4287392595 hasConceptScore W4287392595C156103551 @default.
- W4287392595 hasConceptScore W4287392595C199360897 @default.
- W4287392595 hasConceptScore W4287392595C202444582 @default.
- W4287392595 hasConceptScore W4287392595C2780069185 @default.
- W4287392595 hasConceptScore W4287392595C33923547 @default.
- W4287392595 hasConceptScore W4287392595C41008148 @default.
- W4287392595 hasConceptScore W4287392595C55439883 @default.
- W4287392595 hasConceptScore W4287392595C70846408 @default.
- W4287392595 hasConceptScore W4287392595C80444323 @default.
- W4287392595 hasLocation W42873925951 @default.
- W4287392595 hasLocation W42873925952 @default.
- W4287392595 hasLocation W42873925953 @default.
- W4287392595 hasLocation W42873925954 @default.
- W4287392595 hasOpenAccess W4287392595 @default.
- W4287392595 hasPrimaryLocation W42873925951 @default.
- W4287392595 hasRelatedWork W1131208844 @default.
- W4287392595 hasRelatedWork W1586382855 @default.
- W4287392595 hasRelatedWork W1982083515 @default.
- W4287392595 hasRelatedWork W2060359281 @default.
- W4287392595 hasRelatedWork W2155105871 @default.
- W4287392595 hasRelatedWork W2273636077 @default.
- W4287392595 hasRelatedWork W4205777715 @default.
- W4287392595 hasRelatedWork W4206501196 @default.
- W4287392595 hasRelatedWork W4287392595 @default.
- W4287392595 hasRelatedWork W4310358378 @default.
- W4287392595 isParatext "false" @default.
- W4287392595 isRetracted "false" @default.
- W4287392595 workType "article" @default.