Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555655467> ?p ?o ?g. }
- W1555655467 endingPage "332" @default.
- W1555655467 startingPage "317" @default.
- W1555655467 abstract "We propose the first compositional event structure semantics for a very expressive π-calculus, generalising Winskel’s event structures for CCS. The π-calculus we model is the πI-calculus with recursive definitions and summations. First we model the synchronous calculus, introducing a notion of dynamic renaming to the standard operators on event structures. Then we model the asynchronous calculus, for which a new additional operator, called rooting, is necessary for representing causality due to new name binding. The semantics are shown to be operationally adequate and sound with respect to bisimulation." @default.
- W1555655467 created "2016-06-24" @default.
- W1555655467 creator A5047065626 @default.
- W1555655467 creator A5054171989 @default.
- W1555655467 creator A5074052214 @default.
- W1555655467 date "2007-08-18" @default.
- W1555655467 modified "2023-09-30" @default.
- W1555655467 title "Compositional Event Structure Semantics for the Internal π-Calculus" @default.
- W1555655467 cites W1552467245 @default.
- W1555655467 cites W1578801263 @default.
- W1555655467 cites W1591386603 @default.
- W1555655467 cites W1591694044 @default.
- W1555655467 cites W1605309428 @default.
- W1555655467 cites W1606025221 @default.
- W1555655467 cites W1966949854 @default.
- W1555655467 cites W1991052229 @default.
- W1555655467 cites W2001299902 @default.
- W1555655467 cites W2020813639 @default.
- W1555655467 cites W2025846009 @default.
- W1555655467 cites W2032435196 @default.
- W1555655467 cites W2035512820 @default.
- W1555655467 cites W2048909687 @default.
- W1555655467 cites W2152309268 @default.
- W1555655467 cites W3124439491 @default.
- W1555655467 cites W4233702006 @default.
- W1555655467 doi "https://doi.org/10.1007/978-3-540-74407-8_22" @default.
- W1555655467 hasPublicationYear "2007" @default.
- W1555655467 type Work @default.
- W1555655467 sameAs 1555655467 @default.
- W1555655467 citedByCount "14" @default.
- W1555655467 countsByYear W15556554672012 @default.
- W1555655467 countsByYear W15556554672014 @default.
- W1555655467 countsByYear W15556554672016 @default.
- W1555655467 countsByYear W15556554672017 @default.
- W1555655467 countsByYear W15556554672019 @default.
- W1555655467 countsByYear W15556554672020 @default.
- W1555655467 countsByYear W15556554672022 @default.
- W1555655467 crossrefType "book-chapter" @default.
- W1555655467 hasAuthorship W1555655467A5047065626 @default.
- W1555655467 hasAuthorship W1555655467A5054171989 @default.
- W1555655467 hasAuthorship W1555655467A5074052214 @default.
- W1555655467 hasBestOaLocation W15556554672 @default.
- W1555655467 hasConcept C104317684 @default.
- W1555655467 hasConcept C11413529 @default.
- W1555655467 hasConcept C121332964 @default.
- W1555655467 hasConcept C135315306 @default.
- W1555655467 hasConcept C151319957 @default.
- W1555655467 hasConcept C158448853 @default.
- W1555655467 hasConcept C17020691 @default.
- W1555655467 hasConcept C184337299 @default.
- W1555655467 hasConcept C18460168 @default.
- W1555655467 hasConcept C185592680 @default.
- W1555655467 hasConcept C199343813 @default.
- W1555655467 hasConcept C199360897 @default.
- W1555655467 hasConcept C2776235265 @default.
- W1555655467 hasConcept C2777686260 @default.
- W1555655467 hasConcept C2779662365 @default.
- W1555655467 hasConcept C31258907 @default.
- W1555655467 hasConcept C33923547 @default.
- W1555655467 hasConcept C41008148 @default.
- W1555655467 hasConcept C55493867 @default.
- W1555655467 hasConcept C62520636 @default.
- W1555655467 hasConcept C71924100 @default.
- W1555655467 hasConcept C80444323 @default.
- W1555655467 hasConcept C86339819 @default.
- W1555655467 hasConceptScore W1555655467C104317684 @default.
- W1555655467 hasConceptScore W1555655467C11413529 @default.
- W1555655467 hasConceptScore W1555655467C121332964 @default.
- W1555655467 hasConceptScore W1555655467C135315306 @default.
- W1555655467 hasConceptScore W1555655467C151319957 @default.
- W1555655467 hasConceptScore W1555655467C158448853 @default.
- W1555655467 hasConceptScore W1555655467C17020691 @default.
- W1555655467 hasConceptScore W1555655467C184337299 @default.
- W1555655467 hasConceptScore W1555655467C18460168 @default.
- W1555655467 hasConceptScore W1555655467C185592680 @default.
- W1555655467 hasConceptScore W1555655467C199343813 @default.
- W1555655467 hasConceptScore W1555655467C199360897 @default.
- W1555655467 hasConceptScore W1555655467C2776235265 @default.
- W1555655467 hasConceptScore W1555655467C2777686260 @default.
- W1555655467 hasConceptScore W1555655467C2779662365 @default.
- W1555655467 hasConceptScore W1555655467C31258907 @default.
- W1555655467 hasConceptScore W1555655467C33923547 @default.
- W1555655467 hasConceptScore W1555655467C41008148 @default.
- W1555655467 hasConceptScore W1555655467C55493867 @default.
- W1555655467 hasConceptScore W1555655467C62520636 @default.
- W1555655467 hasConceptScore W1555655467C71924100 @default.
- W1555655467 hasConceptScore W1555655467C80444323 @default.
- W1555655467 hasConceptScore W1555655467C86339819 @default.
- W1555655467 hasLocation W15556554671 @default.
- W1555655467 hasLocation W15556554672 @default.
- W1555655467 hasOpenAccess W1555655467 @default.
- W1555655467 hasPrimaryLocation W15556554671 @default.
- W1555655467 hasRelatedWork W1560330117 @default.
- W1555655467 hasRelatedWork W1573842056 @default.
- W1555655467 hasRelatedWork W1822357302 @default.
- W1555655467 hasRelatedWork W1828556947 @default.
- W1555655467 hasRelatedWork W1959587196 @default.
- W1555655467 hasRelatedWork W2106221267 @default.