Matches in SemOpenAlex for { <https://semopenalex.org/work/W77236779> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W77236779 abstract "Process algebra ACP based on the interleaving semantics can not be reversed. We design a reversible version of APTC called RAPTC. It has algebraic laws of reversible choice, sequence, parallelism, communication, silent step and abstraction, and also the soundness and completeness modulo strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations." @default.
- W77236779 created "2016-06-24" @default.
- W77236779 creator A5019005151 @default.
- W77236779 date "2014-10-19" @default.
- W77236779 modified "2023-09-24" @default.
- W77236779 title "An Algebra of Reversible Computation" @default.
- W77236779 cites W133701161 @default.
- W77236779 cites W1503973138 @default.
- W77236779 cites W1968386045 @default.
- W77236779 cites W1978469611 @default.
- W77236779 cites W2015392385 @default.
- W77236779 cites W2031124364 @default.
- W77236779 cites W2106934908 @default.
- W77236779 cites W2118229393 @default.
- W77236779 cites W2170151971 @default.
- W77236779 doi "https://doi.org/10.48550/arxiv.1410.5131" @default.
- W77236779 hasPublicationYear "2014" @default.
- W77236779 type Work @default.
- W77236779 sameAs 77236779 @default.
- W77236779 citedByCount "2" @default.
- W77236779 countsByYear W772367792015 @default.
- W77236779 countsByYear W772367792018 @default.
- W77236779 crossrefType "posted-content" @default.
- W77236779 hasAuthorship W77236779A5019005151 @default.
- W77236779 hasBestOaLocation W772367791 @default.
- W77236779 hasConcept C111472728 @default.
- W77236779 hasConcept C118615104 @default.
- W77236779 hasConcept C121332964 @default.
- W77236779 hasConcept C124304363 @default.
- W77236779 hasConcept C134306372 @default.
- W77236779 hasConcept C136119220 @default.
- W77236779 hasConcept C138885662 @default.
- W77236779 hasConcept C161771561 @default.
- W77236779 hasConcept C17231256 @default.
- W77236779 hasConcept C184337299 @default.
- W77236779 hasConcept C199360897 @default.
- W77236779 hasConcept C202444582 @default.
- W77236779 hasConcept C20274610 @default.
- W77236779 hasConcept C2778112365 @default.
- W77236779 hasConcept C33923547 @default.
- W77236779 hasConcept C39920170 @default.
- W77236779 hasConcept C41008148 @default.
- W77236779 hasConcept C45374587 @default.
- W77236779 hasConcept C54355233 @default.
- W77236779 hasConcept C54732982 @default.
- W77236779 hasConcept C58053490 @default.
- W77236779 hasConcept C62520636 @default.
- W77236779 hasConcept C80444323 @default.
- W77236779 hasConcept C84114770 @default.
- W77236779 hasConcept C86803240 @default.
- W77236779 hasConcept C9376300 @default.
- W77236779 hasConceptScore W77236779C111472728 @default.
- W77236779 hasConceptScore W77236779C118615104 @default.
- W77236779 hasConceptScore W77236779C121332964 @default.
- W77236779 hasConceptScore W77236779C124304363 @default.
- W77236779 hasConceptScore W77236779C134306372 @default.
- W77236779 hasConceptScore W77236779C136119220 @default.
- W77236779 hasConceptScore W77236779C138885662 @default.
- W77236779 hasConceptScore W77236779C161771561 @default.
- W77236779 hasConceptScore W77236779C17231256 @default.
- W77236779 hasConceptScore W77236779C184337299 @default.
- W77236779 hasConceptScore W77236779C199360897 @default.
- W77236779 hasConceptScore W77236779C202444582 @default.
- W77236779 hasConceptScore W77236779C20274610 @default.
- W77236779 hasConceptScore W77236779C2778112365 @default.
- W77236779 hasConceptScore W77236779C33923547 @default.
- W77236779 hasConceptScore W77236779C39920170 @default.
- W77236779 hasConceptScore W77236779C41008148 @default.
- W77236779 hasConceptScore W77236779C45374587 @default.
- W77236779 hasConceptScore W77236779C54355233 @default.
- W77236779 hasConceptScore W77236779C54732982 @default.
- W77236779 hasConceptScore W77236779C58053490 @default.
- W77236779 hasConceptScore W77236779C62520636 @default.
- W77236779 hasConceptScore W77236779C80444323 @default.
- W77236779 hasConceptScore W77236779C84114770 @default.
- W77236779 hasConceptScore W77236779C86803240 @default.
- W77236779 hasConceptScore W77236779C9376300 @default.
- W77236779 hasLocation W772367791 @default.
- W77236779 hasLocation W772367792 @default.
- W77236779 hasOpenAccess W77236779 @default.
- W77236779 hasPrimaryLocation W772367791 @default.
- W77236779 hasRelatedWork W135120204 @default.
- W77236779 hasRelatedWork W1855927527 @default.
- W77236779 hasRelatedWork W1906944391 @default.
- W77236779 hasRelatedWork W2136859846 @default.
- W77236779 hasRelatedWork W2185409361 @default.
- W77236779 hasRelatedWork W2296667264 @default.
- W77236779 hasRelatedWork W2370092331 @default.
- W77236779 hasRelatedWork W3137622669 @default.
- W77236779 hasRelatedWork W3173209295 @default.
- W77236779 hasRelatedWork W77236779 @default.
- W77236779 isParatext "false" @default.
- W77236779 isRetracted "false" @default.
- W77236779 magId "77236779" @default.
- W77236779 workType "article" @default.