Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952325904> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2952325904 abstract "We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history preserving bisimilarity, and fragments of the logic can be identified which correspond to other true concurrent behavioural equivalences in the literature: step, pomset and history preserving bisimilarity. Standard Hennessy-Milner logic, and thus (interleaving) bisimilarity, is also recovered as a fragment. We also propose an extension of the logic with fixpoint operators, thus allowing to describe causal and concurrency properties of infinite computations. We believe that this work contributes to a rational presentation of the true concurrent spectrum and to a deeper understanding of the relations between the involved behavioural equivalences." @default.
- W2952325904 created "2019-06-27" @default.
- W2952325904 creator A5031056947 @default.
- W2952325904 creator A5047065626 @default.
- W2952325904 date "2011-10-18" @default.
- W2952325904 modified "2023-09-27" @default.
- W2952325904 title "A Logic for True Concurrency" @default.
- W2952325904 cites W1490651621 @default.
- W2952325904 cites W1524031113 @default.
- W2952325904 cites W1532426035 @default.
- W2952325904 cites W1543119109 @default.
- W2952325904 cites W1587299948 @default.
- W2952325904 cites W1973627522 @default.
- W2952325904 cites W1978469611 @default.
- W2952325904 cites W2039290601 @default.
- W2952325904 cites W2082586807 @default.
- W2952325904 cites W2110052988 @default.
- W2952325904 cites W2140317178 @default.
- W2952325904 cites W2173961470 @default.
- W2952325904 cites W2205337852 @default.
- W2952325904 cites W2292419538 @default.
- W2952325904 cites W2570165438 @default.
- W2952325904 cites W2914421362 @default.
- W2952325904 cites W100298686 @default.
- W2952325904 hasPublicationYear "2011" @default.
- W2952325904 type Work @default.
- W2952325904 sameAs 2952325904 @default.
- W2952325904 citedByCount "0" @default.
- W2952325904 crossrefType "posted-content" @default.
- W2952325904 hasAuthorship W2952325904A5031056947 @default.
- W2952325904 hasAuthorship W2952325904A5047065626 @default.
- W2952325904 hasConcept C102993220 @default.
- W2952325904 hasConcept C111919701 @default.
- W2952325904 hasConcept C11413529 @default.
- W2952325904 hasConcept C118615104 @default.
- W2952325904 hasConcept C135315306 @default.
- W2952325904 hasConcept C140146324 @default.
- W2952325904 hasConcept C193702766 @default.
- W2952325904 hasConcept C19689857 @default.
- W2952325904 hasConcept C199360897 @default.
- W2952325904 hasConcept C2778029271 @default.
- W2952325904 hasConcept C2780069185 @default.
- W2952325904 hasConcept C28034677 @default.
- W2952325904 hasConcept C33923547 @default.
- W2952325904 hasConcept C41008148 @default.
- W2952325904 hasConcept C80444323 @default.
- W2952325904 hasConceptScore W2952325904C102993220 @default.
- W2952325904 hasConceptScore W2952325904C111919701 @default.
- W2952325904 hasConceptScore W2952325904C11413529 @default.
- W2952325904 hasConceptScore W2952325904C118615104 @default.
- W2952325904 hasConceptScore W2952325904C135315306 @default.
- W2952325904 hasConceptScore W2952325904C140146324 @default.
- W2952325904 hasConceptScore W2952325904C193702766 @default.
- W2952325904 hasConceptScore W2952325904C19689857 @default.
- W2952325904 hasConceptScore W2952325904C199360897 @default.
- W2952325904 hasConceptScore W2952325904C2778029271 @default.
- W2952325904 hasConceptScore W2952325904C2780069185 @default.
- W2952325904 hasConceptScore W2952325904C28034677 @default.
- W2952325904 hasConceptScore W2952325904C33923547 @default.
- W2952325904 hasConceptScore W2952325904C41008148 @default.
- W2952325904 hasConceptScore W2952325904C80444323 @default.
- W2952325904 hasLocation W29523259041 @default.
- W2952325904 hasOpenAccess W2952325904 @default.
- W2952325904 hasPrimaryLocation W29523259041 @default.
- W2952325904 hasRelatedWork W1529088080 @default.
- W2952325904 hasRelatedWork W1557351135 @default.
- W2952325904 hasRelatedWork W1583096938 @default.
- W2952325904 hasRelatedWork W1766510866 @default.
- W2952325904 hasRelatedWork W1967907738 @default.
- W2952325904 hasRelatedWork W2018456712 @default.
- W2952325904 hasRelatedWork W2104259843 @default.
- W2952325904 hasRelatedWork W2113084613 @default.
- W2952325904 hasRelatedWork W2267818505 @default.
- W2952325904 hasRelatedWork W2338074539 @default.
- W2952325904 hasRelatedWork W2617178387 @default.
- W2952325904 hasRelatedWork W2775578497 @default.
- W2952325904 hasRelatedWork W3016368599 @default.
- W2952325904 hasRelatedWork W3037344922 @default.
- W2952325904 hasRelatedWork W3099674312 @default.
- W2952325904 hasRelatedWork W3099684036 @default.
- W2952325904 hasRelatedWork W3103955647 @default.
- W2952325904 hasRelatedWork W3145061395 @default.
- W2952325904 hasRelatedWork W3194265715 @default.
- W2952325904 hasRelatedWork W45878689 @default.
- W2952325904 isParatext "false" @default.
- W2952325904 isRetracted "false" @default.
- W2952325904 magId "2952325904" @default.
- W2952325904 workType "article" @default.