Matches in SemOpenAlex for { <https://semopenalex.org/work/W2518404811> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2518404811 endingPage "112" @default.
- W2518404811 startingPage "98" @default.
- W2518404811 abstract "Causal-consistent reversibility is the reference notion of reversibility for concurrency. We introduce a modular framework for defining causal-consistent reversible extensions of concurrent models and languages. We show how our framework can be used to define reversible extensions of formalisms as different as CCS and concurrent X-machines. The generality of the approach allows for the reuse of theories and techniques in different settings." @default.
- W2518404811 created "2016-09-16" @default.
- W2518404811 creator A5030878839 @default.
- W2518404811 creator A5085086096 @default.
- W2518404811 date "2016-08-10" @default.
- W2518404811 modified "2023-10-14" @default.
- W2518404811 title "A Modular Formalization of Reversibility for Concurrent Models and Languages" @default.
- W2518404811 cites W1464356876 @default.
- W2518404811 cites W1497640022 @default.
- W2518404811 cites W1515127800 @default.
- W2518404811 cites W1705394006 @default.
- W2518404811 cites W1793309813 @default.
- W2518404811 cites W1966800513 @default.
- W2518404811 cites W1992329154 @default.
- W2518404811 cites W2031433874 @default.
- W2518404811 cites W2059141487 @default.
- W2518404811 cites W2087066740 @default.
- W2518404811 cites W2090255520 @default.
- W2518404811 cites W2145071552 @default.
- W2518404811 cites W2284037492 @default.
- W2518404811 cites W2293751100 @default.
- W2518404811 cites W2506597437 @default.
- W2518404811 cites W2913096018 @default.
- W2518404811 cites W3105690832 @default.
- W2518404811 cites W4233798822 @default.
- W2518404811 doi "https://doi.org/10.4204/eptcs.223.7" @default.
- W2518404811 hasPublicationYear "2016" @default.
- W2518404811 type Work @default.
- W2518404811 sameAs 2518404811 @default.
- W2518404811 citedByCount "2" @default.
- W2518404811 countsByYear W25184048112020 @default.
- W2518404811 crossrefType "journal-article" @default.
- W2518404811 hasAuthorship W2518404811A5030878839 @default.
- W2518404811 hasAuthorship W2518404811A5085086096 @default.
- W2518404811 hasBestOaLocation W25184048111 @default.
- W2518404811 hasConcept C101468663 @default.
- W2518404811 hasConcept C127413603 @default.
- W2518404811 hasConcept C15744967 @default.
- W2518404811 hasConcept C171018156 @default.
- W2518404811 hasConcept C193702766 @default.
- W2518404811 hasConcept C199360897 @default.
- W2518404811 hasConcept C206588197 @default.
- W2518404811 hasConcept C2524010 @default.
- W2518404811 hasConcept C2778814252 @default.
- W2518404811 hasConcept C2780767217 @default.
- W2518404811 hasConcept C33923547 @default.
- W2518404811 hasConcept C41008148 @default.
- W2518404811 hasConcept C542102704 @default.
- W2518404811 hasConcept C548081761 @default.
- W2518404811 hasConcept C80444323 @default.
- W2518404811 hasConceptScore W2518404811C101468663 @default.
- W2518404811 hasConceptScore W2518404811C127413603 @default.
- W2518404811 hasConceptScore W2518404811C15744967 @default.
- W2518404811 hasConceptScore W2518404811C171018156 @default.
- W2518404811 hasConceptScore W2518404811C193702766 @default.
- W2518404811 hasConceptScore W2518404811C199360897 @default.
- W2518404811 hasConceptScore W2518404811C206588197 @default.
- W2518404811 hasConceptScore W2518404811C2524010 @default.
- W2518404811 hasConceptScore W2518404811C2778814252 @default.
- W2518404811 hasConceptScore W2518404811C2780767217 @default.
- W2518404811 hasConceptScore W2518404811C33923547 @default.
- W2518404811 hasConceptScore W2518404811C41008148 @default.
- W2518404811 hasConceptScore W2518404811C542102704 @default.
- W2518404811 hasConceptScore W2518404811C548081761 @default.
- W2518404811 hasConceptScore W2518404811C80444323 @default.
- W2518404811 hasLocation W25184048111 @default.
- W2518404811 hasLocation W25184048112 @default.
- W2518404811 hasLocation W25184048113 @default.
- W2518404811 hasLocation W25184048114 @default.
- W2518404811 hasLocation W25184048115 @default.
- W2518404811 hasLocation W25184048116 @default.
- W2518404811 hasOpenAccess W2518404811 @default.
- W2518404811 hasPrimaryLocation W25184048111 @default.
- W2518404811 hasRelatedWork W1501820462 @default.
- W2518404811 hasRelatedWork W1790095184 @default.
- W2518404811 hasRelatedWork W1948419321 @default.
- W2518404811 hasRelatedWork W2076257409 @default.
- W2518404811 hasRelatedWork W2518404811 @default.
- W2518404811 hasRelatedWork W4206956498 @default.
- W2518404811 hasRelatedWork W4233763932 @default.
- W2518404811 hasRelatedWork W4289874384 @default.
- W2518404811 hasRelatedWork W2474869314 @default.
- W2518404811 hasRelatedWork W2585389827 @default.
- W2518404811 hasVolume "223" @default.
- W2518404811 isParatext "false" @default.
- W2518404811 isRetracted "false" @default.
- W2518404811 magId "2518404811" @default.
- W2518404811 workType "article" @default.