Matches in SemOpenAlex for { <https://semopenalex.org/work/W2802001073> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2802001073 abstract "We design a reversible version of truly concurrent process algebra CTC which is called RCTC. It has good properties modulo several kinds of strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations. These properties include monoid laws, static laws, new expansion law for strongly forward-reverse truly concurrent bisimulations, tau laws for weakly forward-reverse truly concurrent bisimulations, and congruences for strongly and weakly forward-reverse truly concurrent bisimulations." @default.
- W2802001073 created "2018-05-17" @default.
- W2802001073 creator A5057040979 @default.
- W2802001073 date "2018-05-03" @default.
- W2802001073 modified "2023-09-27" @default.
- W2802001073 title "Reversible Truly Concurrent Process Algebra" @default.
- W2802001073 cites W1503973138 @default.
- W2802001073 cites W1978469611 @default.
- W2802001073 cites W2059141487 @default.
- W2802001073 cites W2137865376 @default.
- W2802001073 cites W2594658985 @default.
- W2802001073 cites W58532547 @default.
- W2802001073 doi "https://doi.org/10.48550/arxiv.1805.03575" @default.
- W2802001073 hasPublicationYear "2018" @default.
- W2802001073 type Work @default.
- W2802001073 sameAs 2802001073 @default.
- W2802001073 citedByCount "0" @default.
- W2802001073 crossrefType "posted-content" @default.
- W2802001073 hasAuthorship W2802001073A5057040979 @default.
- W2802001073 hasBestOaLocation W28020010731 @default.
- W2802001073 hasConcept C118615104 @default.
- W2802001073 hasConcept C136119220 @default.
- W2802001073 hasConcept C161771561 @default.
- W2802001073 hasConcept C202444582 @default.
- W2802001073 hasConcept C33923547 @default.
- W2802001073 hasConcept C41008148 @default.
- W2802001073 hasConcept C54732982 @default.
- W2802001073 hasConcept C80444323 @default.
- W2802001073 hasConcept C9973445 @default.
- W2802001073 hasConceptScore W2802001073C118615104 @default.
- W2802001073 hasConceptScore W2802001073C136119220 @default.
- W2802001073 hasConceptScore W2802001073C161771561 @default.
- W2802001073 hasConceptScore W2802001073C202444582 @default.
- W2802001073 hasConceptScore W2802001073C33923547 @default.
- W2802001073 hasConceptScore W2802001073C41008148 @default.
- W2802001073 hasConceptScore W2802001073C54732982 @default.
- W2802001073 hasConceptScore W2802001073C80444323 @default.
- W2802001073 hasConceptScore W2802001073C9973445 @default.
- W2802001073 hasLocation W28020010731 @default.
- W2802001073 hasOpenAccess W2802001073 @default.
- W2802001073 hasPrimaryLocation W28020010731 @default.
- W2802001073 hasRelatedWork W1752351966 @default.
- W2802001073 hasRelatedWork W1843228998 @default.
- W2802001073 hasRelatedWork W2001268273 @default.
- W2802001073 hasRelatedWork W2051951263 @default.
- W2802001073 hasRelatedWork W2317483424 @default.
- W2802001073 hasRelatedWork W2559546143 @default.
- W2802001073 hasRelatedWork W2593631943 @default.
- W2802001073 hasRelatedWork W4230854337 @default.
- W2802001073 hasRelatedWork W4242001042 @default.
- W2802001073 hasRelatedWork W1970258208 @default.
- W2802001073 isParatext "false" @default.
- W2802001073 isRetracted "false" @default.
- W2802001073 magId "2802001073" @default.
- W2802001073 workType "article" @default.