Matches in SemOpenAlex for { <https://semopenalex.org/work/W1529779663> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1529779663 abstract "In this paper we present an original approach providing a causality-based semantics for CCS based on preliminary results appeared in [6, 7, 8, 11]. This approach relies on a simple intuition related to the expression of causal relationships among occurrences of actions, in a way closely related to the notion of variable abstraction of Lambda-Calculus. Main results deal with the definition of an operational semantics, as well as with the characterization of strong and weak bisimulation equivalences within the proposed causality framework. Discussion is provided aiming at relating the proposed approach with other approaches, like Causal Trees and location-based semantics, presenting some degree of similarity with ours, at least at an intuitive level." @default.
- W1529779663 created "2016-06-24" @default.
- W1529779663 creator A5018022988 @default.
- W1529779663 creator A5044973034 @default.
- W1529779663 date "1993-01-01" @default.
- W1529779663 modified "2023-09-25" @default.
- W1529779663 title "A Causality-based Semantics for CCS" @default.
- W1529779663 cites W1585042602 @default.
- W1529779663 cites W1793309813 @default.
- W1529779663 cites W1989279866 @default.
- W1529779663 cites W2027256978 @default.
- W1529779663 cites W2095417604 @default.
- W1529779663 cites W2137865376 @default.
- W1529779663 cites W2293557922 @default.
- W1529779663 cites W4237199876 @default.
- W1529779663 doi "https://doi.org/10.1007/978-1-4471-3217-2_12" @default.
- W1529779663 hasPublicationYear "1993" @default.
- W1529779663 type Work @default.
- W1529779663 sameAs 1529779663 @default.
- W1529779663 citedByCount "1" @default.
- W1529779663 countsByYear W15297796632012 @default.
- W1529779663 crossrefType "book-chapter" @default.
- W1529779663 hasAuthorship W1529779663A5018022988 @default.
- W1529779663 hasAuthorship W1529779663A5044973034 @default.
- W1529779663 hasConcept C111472728 @default.
- W1529779663 hasConcept C121332964 @default.
- W1529779663 hasConcept C124304363 @default.
- W1529779663 hasConcept C132010649 @default.
- W1529779663 hasConcept C135315306 @default.
- W1529779663 hasConcept C138885662 @default.
- W1529779663 hasConcept C156325763 @default.
- W1529779663 hasConcept C15744967 @default.
- W1529779663 hasConcept C184337299 @default.
- W1529779663 hasConcept C188147891 @default.
- W1529779663 hasConcept C199360897 @default.
- W1529779663 hasConcept C41008148 @default.
- W1529779663 hasConcept C62520636 @default.
- W1529779663 hasConcept C64357122 @default.
- W1529779663 hasConcept C80444323 @default.
- W1529779663 hasConceptScore W1529779663C111472728 @default.
- W1529779663 hasConceptScore W1529779663C121332964 @default.
- W1529779663 hasConceptScore W1529779663C124304363 @default.
- W1529779663 hasConceptScore W1529779663C132010649 @default.
- W1529779663 hasConceptScore W1529779663C135315306 @default.
- W1529779663 hasConceptScore W1529779663C138885662 @default.
- W1529779663 hasConceptScore W1529779663C156325763 @default.
- W1529779663 hasConceptScore W1529779663C15744967 @default.
- W1529779663 hasConceptScore W1529779663C184337299 @default.
- W1529779663 hasConceptScore W1529779663C188147891 @default.
- W1529779663 hasConceptScore W1529779663C199360897 @default.
- W1529779663 hasConceptScore W1529779663C41008148 @default.
- W1529779663 hasConceptScore W1529779663C62520636 @default.
- W1529779663 hasConceptScore W1529779663C64357122 @default.
- W1529779663 hasConceptScore W1529779663C80444323 @default.
- W1529779663 hasLocation W15297796631 @default.
- W1529779663 hasOpenAccess W1529779663 @default.
- W1529779663 hasPrimaryLocation W15297796631 @default.
- W1529779663 hasRelatedWork W114547669 @default.
- W1529779663 hasRelatedWork W15419461 @default.
- W1529779663 hasRelatedWork W1595835410 @default.
- W1529779663 hasRelatedWork W173997468 @default.
- W1529779663 hasRelatedWork W1860761177 @default.
- W1529779663 hasRelatedWork W2012283825 @default.
- W1529779663 hasRelatedWork W2048909687 @default.
- W1529779663 hasRelatedWork W2241066281 @default.
- W1529779663 hasRelatedWork W2356394976 @default.
- W1529779663 hasRelatedWork W2406874399 @default.
- W1529779663 hasRelatedWork W2515679871 @default.
- W1529779663 hasRelatedWork W2575300064 @default.
- W1529779663 hasRelatedWork W2807839585 @default.
- W1529779663 hasRelatedWork W2892842036 @default.
- W1529779663 hasRelatedWork W2951929916 @default.
- W1529779663 hasRelatedWork W3110515833 @default.
- W1529779663 hasRelatedWork W3159627699 @default.
- W1529779663 hasRelatedWork W3160295465 @default.
- W1529779663 hasRelatedWork W3206015054 @default.
- W1529779663 hasRelatedWork W2185650591 @default.
- W1529779663 isParatext "false" @default.
- W1529779663 isRetracted "false" @default.
- W1529779663 magId "1529779663" @default.
- W1529779663 workType "book-chapter" @default.