Matches in SemOpenAlex for { <https://semopenalex.org/work/W2261211297> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2261211297 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.
- W2261211297 created "2016-06-24" @default.
- W2261211297 creator A5066639047 @default.
- W2261211297 creator A5079286597 @default.
- W2261211297 date "2016-01-01" @default.
- W2261211297 modified "2023-09-26" @default.
- W2261211297 title "Contextual equivalences in configuration structures and reversibility" @default.
- W2261211297 cites W133701161 @default.
- W2261211297 cites W1497640022 @default.
- W2261211297 cites W1503973138 @default.
- W2261211297 cites W1515127800 @default.
- W2261211297 cites W1543050278 @default.
- W2261211297 cites W1578801263 @default.
- W2261211297 cites W1586537374 @default.
- W2261211297 cites W1766510866 @default.
- W2261211297 cites W1984801861 @default.
- W2261211297 cites W1991052229 @default.
- W2261211297 cites W1995845908 @default.
- W2261211297 cites W2010263325 @default.
- W2261211297 cites W2024955813 @default.
- W2261211297 cites W2039290601 @default.
- W2261211297 cites W2059141487 @default.
- W2261211297 cites W2071140053 @default.
- W2261211297 cites W2072048176 @default.
- W2261211297 cites W2084640400 @default.
- W2261211297 cites W2121949103 @default.
- W2261211297 cites W2130394356 @default.
- W2261211297 cites W2134326845 @default.
- W2261211297 cites W2153290650 @default.
- W2261211297 cites W2170151971 @default.
- W2261211297 cites W2173961470 @default.
- W2261211297 cites W2196942119 @default.
- W2261211297 cites W2224622497 @default.
- W2261211297 cites W2610406808 @default.
- W2261211297 cites W2914421362 @default.
- W2261211297 cites W2914597273 @default.
- W2261211297 cites W3144368627 @default.
- W2261211297 cites W800882761 @default.
- W2261211297 hasPublicationYear "2016" @default.
- W2261211297 type Work @default.
- W2261211297 sameAs 2261211297 @default.
- W2261211297 citedByCount "0" @default.
- W2261211297 crossrefType "journal-article" @default.
- W2261211297 hasAuthorship W2261211297A5066639047 @default.
- W2261211297 hasAuthorship W2261211297A5079286597 @default.
- W2261211297 hasBestOaLocation W22612112971 @default.
- W2261211297 hasConcept C41008148 @default.
- W2261211297 hasConceptScore W2261211297C41008148 @default.
- W2261211297 hasLocation W22612112971 @default.
- W2261211297 hasLocation W22612112972 @default.
- W2261211297 hasLocation W22612112973 @default.
- W2261211297 hasLocation W22612112974 @default.
- W2261211297 hasOpenAccess W2261211297 @default.
- W2261211297 hasPrimaryLocation W22612112971 @default.
- W2261211297 hasRelatedWork W2093578348 @default.
- W2261211297 hasRelatedWork W2350741829 @default.
- W2261211297 hasRelatedWork W2358668433 @default.
- W2261211297 hasRelatedWork W2376932109 @default.
- W2261211297 hasRelatedWork W2382290278 @default.
- W2261211297 hasRelatedWork W2390279801 @default.
- W2261211297 hasRelatedWork W2748952813 @default.
- W2261211297 hasRelatedWork W2766271392 @default.
- W2261211297 hasRelatedWork W2899084033 @default.
- W2261211297 hasRelatedWork W3004735627 @default.
- W2261211297 isParatext "false" @default.
- W2261211297 isRetracted "false" @default.
- W2261211297 magId "2261211297" @default.
- W2261211297 workType "article" @default.