FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W137641731> ?p ?o ?g. }

• W137641731 endingPage "239" @default.
• W137641731 startingPage "225" @default.
• W137641731 abstract "We give a compositional event structure semantics of the π-calculus. The main issues to deal with are the communication of free names and the extrusion of bound names. These are the source of the expressiveness of the π-calculus, but they also allow subtle forms of causal dependencies. We show that free name communications can be modeled in terms of “incomplete/potential synchronization” events. On the other hand, we argue that it is not possible to satisfactorily model parallel extrusion within the framework of stable event structures. We propose to model a process as a pair $({mathcal E},X)$ where ${mathcal E}$ is a prime event structure and X is a set of (bound) names. Intuitively, ${mathcal E}$ encodes the structural causality of the process, while the set X affects the computation on ${mathcal E}$ so as to capture the causal dependencies introduced by scope extrusion. The correctness of our true concurrent semantics is shown by an operational adequacy theorem with respect to the standard late semantics of the π-calculus." @default.
• W137641731 created "2016-06-24" @default.
• W137641731 creator A5047065626 @default.
• W137641731 creator A5054171989 @default.
• W137641731 creator A5074052214 @default.
• W137641731 date "2012-01-01" @default.
• W137641731 modified "2023-10-14" @default.
• W137641731 title "Event Structure Semantics of Parallel Extrusion in the Pi-Calculus" @default.
• W137641731 cites W1497640022 @default.
• W137641731 cites W1515127800 @default.
• W137641731 cites W1552467245 @default.
• W137641731 cites W1555655467 @default.
• W137641731 cites W1578801263 @default.
• W137641731 cites W1591386603 @default.
• W137641731 cites W1606025221 @default.
• W137641731 cites W1965564224 @default.
• W137641731 cites W1991052229 @default.
• W137641731 cites W1995845908 @default.
• W137641731 cites W2020813639 @default.
• W137641731 cites W2024955813 @default.
• W137641731 cites W2025846009 @default.
• W137641731 cites W2036929339 @default.
• W137641731 cites W2048909687 @default.
• W137641731 cites W2060704426 @default.
• W137641731 cites W4233702006 @default.
• W137641731 doi "https://doi.org/10.1007/978-3-642-28729-9_15" @default.
• W137641731 hasPublicationYear "2012" @default.
• W137641731 type Work @default.
• W137641731 sameAs 137641731 @default.
• W137641731 citedByCount "24" @default.
• W137641731 countsByYear W1376417312013 @default.
• W137641731 countsByYear W1376417312015 @default.
• W137641731 countsByYear W1376417312016 @default.
• W137641731 countsByYear W1376417312017 @default.
• W137641731 countsByYear W1376417312018 @default.
• W137641731 countsByYear W1376417312019 @default.
• W137641731 countsByYear W1376417312020 @default.
• W137641731 countsByYear W1376417312022 @default.
• W137641731 countsByYear W1376417312023 @default.
• W137641731 crossrefType "book-chapter" @default.
• W137641731 hasAuthorship W137641731A5047065626 @default.
• W137641731 hasAuthorship W137641731A5054171989 @default.
• W137641731 hasAuthorship W137641731A5074052214 @default.
• W137641731 hasBestOaLocation W1376417311 @default.
• W137641731 hasConcept C105795698 @default.
• W137641731 hasConcept C11413529 @default.
• W137641731 hasConcept C118615104 @default.
• W137641731 hasConcept C121332964 @default.
• W137641731 hasConcept C127162648 @default.
• W137641731 hasConcept C156325763 @default.
• W137641731 hasConcept C161771561 @default.
• W137641731 hasConcept C177264268 @default.
• W137641731 hasConcept C184337299 @default.
• W137641731 hasConcept C199343813 @default.
• W137641731 hasConcept C199360897 @default.
• W137641731 hasConcept C2777686260 @default.
• W137641731 hasConcept C2777810175 @default.
• W137641731 hasConcept C2778562939 @default.
• W137641731 hasConcept C2779662365 @default.
• W137641731 hasConcept C2984882572 @default.
• W137641731 hasConcept C31258907 @default.
• W137641731 hasConcept C33923547 @default.
• W137641731 hasConcept C41008148 @default.
• W137641731 hasConcept C55439883 @default.
• W137641731 hasConcept C62520636 @default.
• W137641731 hasConcept C71924100 @default.
• W137641731 hasConcept C80444323 @default.
• W137641731 hasConceptScore W137641731C105795698 @default.
• W137641731 hasConceptScore W137641731C11413529 @default.
• W137641731 hasConceptScore W137641731C118615104 @default.
• W137641731 hasConceptScore W137641731C121332964 @default.
• W137641731 hasConceptScore W137641731C127162648 @default.
• W137641731 hasConceptScore W137641731C156325763 @default.
• W137641731 hasConceptScore W137641731C161771561 @default.
• W137641731 hasConceptScore W137641731C177264268 @default.
• W137641731 hasConceptScore W137641731C184337299 @default.
• W137641731 hasConceptScore W137641731C199343813 @default.
• W137641731 hasConceptScore W137641731C199360897 @default.
• W137641731 hasConceptScore W137641731C2777686260 @default.
• W137641731 hasConceptScore W137641731C2777810175 @default.
• W137641731 hasConceptScore W137641731C2778562939 @default.
• W137641731 hasConceptScore W137641731C2779662365 @default.
• W137641731 hasConceptScore W137641731C2984882572 @default.
• W137641731 hasConceptScore W137641731C31258907 @default.
• W137641731 hasConceptScore W137641731C33923547 @default.
• W137641731 hasConceptScore W137641731C41008148 @default.
• W137641731 hasConceptScore W137641731C55439883 @default.
• W137641731 hasConceptScore W137641731C62520636 @default.
• W137641731 hasConceptScore W137641731C71924100 @default.
• W137641731 hasConceptScore W137641731C80444323 @default.
• W137641731 hasLocation W1376417311 @default.
• W137641731 hasLocation W1376417312 @default.
• W137641731 hasLocation W1376417313 @default.
• W137641731 hasLocation W1376417314 @default.
• W137641731 hasOpenAccess W137641731 @default.
• W137641731 hasPrimaryLocation W1376417311 @default.
• W137641731 hasRelatedWork W2023210740 @default.
• W137641731 hasRelatedWork W2104890704 @default.

• next