FRINK Linked Data Fragments server

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

• W3025051189 abstract "Reversible computation opens up the possibility of overcoming some of the hardware's current physical limitations. It also offers theoretical insights, as it enriches multiple paradigms and models of computation, and sometimes retrospectively enlightens them. Concurrent reversible computation, for instance, offered interesting extensions to the Calculus of Communicating Systems, but was still lacking a natural and pertinent bisimulation to study processes equivalences. Our paper formulates an equivalence exploiting the two aspects of reversibility: backward moves and memory mechanisms. This bisimulation captures classical equivalences relations for denotational models of concurrency (History-and hereditary history-preserving bisimulation, (H)HPB), that were up to now only partially characterized by process algebras. This result gives an insight on the expressiveness of reversibility, as both backward moves and a memory mechanism-providing 'backward determinism'-are needed to capture HHPB." @default.
• W3025051189 created "2020-05-21" @default.
• W3025051189 creator A5066639047 @default.
• W3025051189 creator A5079286597 @default.
• W3025051189 date "2020-05-14" @default.
• W3025051189 modified "2023-09-27" @default.
• W3025051189 title "How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation" @default.
• W3025051189 cites W1497640022 @default.
• W3025051189 cites W1572904664 @default.
• W3025051189 cites W1578801263 @default.
• W3025051189 cites W1586537374 @default.
• W3025051189 cites W1766510866 @default.
• W3025051189 cites W1771085265 @default.
• W3025051189 cites W1793309813 @default.
• W3025051189 cites W1813753580 @default.
• W3025051189 cites W1984801861 @default.
• W3025051189 cites W1995845908 @default.
• W3025051189 cites W2010263325 @default.
• W3025051189 cites W2024955813 @default.
• W3025051189 cites W2039290601 @default.
• W3025051189 cites W2059141487 @default.
• W3025051189 cites W2087066740 @default.
• W3025051189 cites W2113084613 @default.
• W3025051189 cites W2129296169 @default.
• W3025051189 cites W2170151971 @default.
• W3025051189 cites W2173961470 @default.
• W3025051189 cites W2272823372 @default.
• W3025051189 cites W2279321119 @default.
• W3025051189 cites W2292419538 @default.
• W3025051189 cites W2619298142 @default.
• W3025051189 cites W2619928272 @default.
• W3025051189 cites W2750770261 @default.
• W3025051189 cites W2888681406 @default.
• W3025051189 cites W2951300572 @default.
• W3025051189 cites W2963245642 @default.
• W3025051189 cites W2963900848 @default.
• W3025051189 cites W296967282 @default.
• W3025051189 cites W2987291980 @default.
• W3025051189 cites W2990961515 @default.
• W3025051189 cites W3160064372 @default.
• W3025051189 hasPublicationYear "2020" @default.
• W3025051189 type Work @default.
• W3025051189 sameAs 3025051189 @default.
• W3025051189 citedByCount "0" @default.
• W3025051189 crossrefType "posted-content" @default.
• W3025051189 hasAuthorship W3025051189A5066639047 @default.
• W3025051189 hasAuthorship W3025051189A5079286597 @default.
• W3025051189 hasConcept C111472728 @default.
• W3025051189 hasConcept C135315306 @default.
• W3025051189 hasConcept C138885662 @default.
• W3025051189 hasConcept C161771561 @default.
• W3025051189 hasConcept C184596265 @default.
• W3025051189 hasConcept C192183473 @default.
• W3025051189 hasConcept C193702766 @default.
• W3025051189 hasConcept C199360897 @default.
• W3025051189 hasConcept C202444582 @default.
• W3025051189 hasConcept C2777721189 @default.
• W3025051189 hasConcept C2780069185 @default.
• W3025051189 hasConcept C33923547 @default.
• W3025051189 hasConcept C41008148 @default.
• W3025051189 hasConcept C45374587 @default.
• W3025051189 hasConcept C80444323 @default.
• W3025051189 hasConceptScore W3025051189C111472728 @default.
• W3025051189 hasConceptScore W3025051189C135315306 @default.
• W3025051189 hasConceptScore W3025051189C138885662 @default.
• W3025051189 hasConceptScore W3025051189C161771561 @default.
• W3025051189 hasConceptScore W3025051189C184596265 @default.
• W3025051189 hasConceptScore W3025051189C192183473 @default.
• W3025051189 hasConceptScore W3025051189C193702766 @default.
• W3025051189 hasConceptScore W3025051189C199360897 @default.
• W3025051189 hasConceptScore W3025051189C202444582 @default.
• W3025051189 hasConceptScore W3025051189C2777721189 @default.
• W3025051189 hasConceptScore W3025051189C2780069185 @default.
• W3025051189 hasConceptScore W3025051189C33923547 @default.
• W3025051189 hasConceptScore W3025051189C41008148 @default.
• W3025051189 hasConceptScore W3025051189C45374587 @default.
• W3025051189 hasConceptScore W3025051189C80444323 @default.
• W3025051189 hasLocation W30250511891 @default.
• W3025051189 hasOpenAccess W3025051189 @default.
• W3025051189 hasPrimaryLocation W30250511891 @default.
• W3025051189 hasRelatedWork W139286250 @default.
• W3025051189 hasRelatedWork W1493332449 @default.
• W3025051189 hasRelatedWork W1494075606 @default.
• W3025051189 hasRelatedWork W1567765153 @default.
• W3025051189 hasRelatedWork W2011677188 @default.
• W3025051189 hasRelatedWork W2012874796 @default.
• W3025051189 hasRelatedWork W2021026222 @default.
• W3025051189 hasRelatedWork W2038116769 @default.
• W3025051189 hasRelatedWork W2041961320 @default.
• W3025051189 hasRelatedWork W2055350841 @default.
• W3025051189 hasRelatedWork W2078103992 @default.
• W3025051189 hasRelatedWork W2099639789 @default.
• W3025051189 hasRelatedWork W2262332340 @default.
• W3025051189 hasRelatedWork W2292419538 @default.
• W3025051189 hasRelatedWork W2360904482 @default.
• W3025051189 hasRelatedWork W2799251552 @default.
• W3025051189 hasRelatedWork W2898466129 @default.
• W3025051189 hasRelatedWork W2963745823 @default.
• W3025051189 hasRelatedWork W3082644541 @default.
• W3025051189 hasRelatedWork W3145061395 @default.

• next