Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311518474> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4311518474 abstract "Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong back-and-forth barbed congruence on RCCS, a reversible variant of CCS. We show that the relation induced by the back-and-forth congruence on configuration structures is equivalent to HHPB, thus providing a contextual characterization of HHPB." @default.
- W4311518474 created "2022-12-26" @default.
- W4311518474 creator A5066639047 @default.
- W4311518474 creator A5079286597 @default.
- W4311518474 date "2015-11-18" @default.
- W4311518474 modified "2023-09-30" @default.
- W4311518474 title "Contextual equivalences in configuration structures and reversibility" @default.
- W4311518474 doi "https://doi.org/10.48550/arxiv.1511.05750" @default.
- W4311518474 hasPublicationYear "2015" @default.
- W4311518474 type Work @default.
- W4311518474 citedByCount "0" @default.
- W4311518474 crossrefType "posted-content" @default.
- W4311518474 hasAuthorship W4311518474A5066639047 @default.
- W4311518474 hasAuthorship W4311518474A5079286597 @default.
- W4311518474 hasBestOaLocation W43115184741 @default.
- W4311518474 hasConcept C121332964 @default.
- W4311518474 hasConcept C132074034 @default.
- W4311518474 hasConcept C135315306 @default.
- W4311518474 hasConcept C138885662 @default.
- W4311518474 hasConcept C139997677 @default.
- W4311518474 hasConcept C149106765 @default.
- W4311518474 hasConcept C156103551 @default.
- W4311518474 hasConcept C202444582 @default.
- W4311518474 hasConcept C2524010 @default.
- W4311518474 hasConcept C2780069185 @default.
- W4311518474 hasConcept C32848918 @default.
- W4311518474 hasConcept C33923547 @default.
- W4311518474 hasConcept C41008148 @default.
- W4311518474 hasConcept C41895202 @default.
- W4311518474 hasConcept C62520636 @default.
- W4311518474 hasConcept C80444323 @default.
- W4311518474 hasConcept C9973445 @default.
- W4311518474 hasConceptScore W4311518474C121332964 @default.
- W4311518474 hasConceptScore W4311518474C132074034 @default.
- W4311518474 hasConceptScore W4311518474C135315306 @default.
- W4311518474 hasConceptScore W4311518474C138885662 @default.
- W4311518474 hasConceptScore W4311518474C139997677 @default.
- W4311518474 hasConceptScore W4311518474C149106765 @default.
- W4311518474 hasConceptScore W4311518474C156103551 @default.
- W4311518474 hasConceptScore W4311518474C202444582 @default.
- W4311518474 hasConceptScore W4311518474C2524010 @default.
- W4311518474 hasConceptScore W4311518474C2780069185 @default.
- W4311518474 hasConceptScore W4311518474C32848918 @default.
- W4311518474 hasConceptScore W4311518474C33923547 @default.
- W4311518474 hasConceptScore W4311518474C41008148 @default.
- W4311518474 hasConceptScore W4311518474C41895202 @default.
- W4311518474 hasConceptScore W4311518474C62520636 @default.
- W4311518474 hasConceptScore W4311518474C80444323 @default.
- W4311518474 hasConceptScore W4311518474C9973445 @default.
- W4311518474 hasLocation W43115184741 @default.
- W4311518474 hasLocation W43115184742 @default.
- W4311518474 hasLocation W43115184743 @default.
- W4311518474 hasLocation W43115184744 @default.
- W4311518474 hasOpenAccess W4311518474 @default.
- W4311518474 hasPrimaryLocation W43115184741 @default.
- W4311518474 hasRelatedWork W2069267042 @default.
- W4311518474 hasRelatedWork W2084969057 @default.
- W4311518474 hasRelatedWork W2121936893 @default.
- W4311518474 hasRelatedWork W2133474066 @default.
- W4311518474 hasRelatedWork W2136070637 @default.
- W4311518474 hasRelatedWork W2196942119 @default.
- W4311518474 hasRelatedWork W2261211297 @default.
- W4311518474 hasRelatedWork W2559705703 @default.
- W4311518474 hasRelatedWork W3041683614 @default.
- W4311518474 hasRelatedWork W4302053346 @default.
- W4311518474 isParatext "false" @default.
- W4311518474 isRetracted "false" @default.
- W4311518474 workType "article" @default.