FRINK Linked Data Fragments server

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

• W2016150924 abstract "The fusion calculi are a simplification of the pi-calculus in which input and output are symmetric and restriction is the only binder. We highlight a major difference between these calculi and the pi-calculus from the point of view of types, proving some impossibility results for subtyping in fusion calculi. We propose a modification of fusion calculi in which the name equivalences produced by fusions are replaced by name preorders, and with a distinction between positive and negative occurrences of names. The resulting calculus allows us to import subtype systems, and related results, from the pi-calculus. We examine the consequences of the modification on behavioural equivalence (e.g., context-free characterisations of barbed congruence) and expressiveness (e.g., full abstraction of the embedding of the asynchronous pi-calculus)." @default.
• W2016150924 created "2016-06-24" @default.
• W2016150924 creator A5033874015 @default.
• W2016150924 creator A5043157937 @default.
• W2016150924 creator A5077030456 @default.
• W2016150924 date "2013-06-01" @default.
• W2016150924 modified "2023-10-13" @default.
• W2016150924 title "Name-Passing Calculi: From Fusions to Preorders and Types" @default.
• W2016150924 cites W1546623424 @default.
• W2016150924 cites W1859118644 @default.
• W2016150924 cites W1895954544 @default.
• W2016150924 cites W2001299902 @default.
• W2016150924 cites W2042360145 @default.
• W2016150924 cites W2072048176 @default.
• W2016150924 cites W2105834336 @default.
• W2016150924 cites W2129295475 @default.
• W2016150924 cites W2129880514 @default.
• W2016150924 cites W2145026504 @default.
• W2016150924 cites W2148025199 @default.
• W2016150924 cites W2157144873 @default.
• W2016150924 cites W2163319710 @default.
• W2016150924 cites W3029749730 @default.
• W2016150924 cites W4233603314 @default.
• W2016150924 cites W86813616 @default.
• W2016150924 doi "https://doi.org/10.1109/lics.2013.44" @default.
• W2016150924 hasPublicationYear "2013" @default.
• W2016150924 type Work @default.
• W2016150924 sameAs 2016150924 @default.
• W2016150924 citedByCount "9" @default.
• W2016150924 countsByYear W20161509242014 @default.
• W2016150924 countsByYear W20161509242015 @default.
• W2016150924 countsByYear W20161509242017 @default.
• W2016150924 countsByYear W20161509242018 @default.
• W2016150924 countsByYear W20161509242019 @default.
• W2016150924 crossrefType "proceedings-article" @default.
• W2016150924 hasAuthorship W2016150924A5033874015 @default.
• W2016150924 hasAuthorship W2016150924A5043157937 @default.
• W2016150924 hasAuthorship W2016150924A5077030456 @default.
• W2016150924 hasBestOaLocation W20161509242 @default.
• W2016150924 hasConcept C118615104 @default.
• W2016150924 hasConcept C136119220 @default.
• W2016150924 hasConcept C151319957 @default.
• W2016150924 hasConcept C151730666 @default.
• W2016150924 hasConcept C154945302 @default.
• W2016150924 hasConcept C161771561 @default.
• W2016150924 hasConcept C17744445 @default.
• W2016150924 hasConcept C199343813 @default.
• W2016150924 hasConcept C199539241 @default.
• W2016150924 hasConcept C202444582 @default.
• W2016150924 hasConcept C2776261394 @default.
• W2016150924 hasConcept C2777686260 @default.
• W2016150924 hasConcept C2779343474 @default.
• W2016150924 hasConcept C2780069185 @default.
• W2016150924 hasConcept C2984882572 @default.
• W2016150924 hasConcept C31258907 @default.
• W2016150924 hasConcept C33923547 @default.
• W2016150924 hasConcept C41008148 @default.
• W2016150924 hasConcept C41608201 @default.
• W2016150924 hasConcept C71924100 @default.
• W2016150924 hasConcept C80444323 @default.
• W2016150924 hasConcept C86803240 @default.
• W2016150924 hasConceptScore W2016150924C118615104 @default.
• W2016150924 hasConceptScore W2016150924C136119220 @default.
• W2016150924 hasConceptScore W2016150924C151319957 @default.
• W2016150924 hasConceptScore W2016150924C151730666 @default.
• W2016150924 hasConceptScore W2016150924C154945302 @default.
• W2016150924 hasConceptScore W2016150924C161771561 @default.
• W2016150924 hasConceptScore W2016150924C17744445 @default.
• W2016150924 hasConceptScore W2016150924C199343813 @default.
• W2016150924 hasConceptScore W2016150924C199539241 @default.
• W2016150924 hasConceptScore W2016150924C202444582 @default.
• W2016150924 hasConceptScore W2016150924C2776261394 @default.
• W2016150924 hasConceptScore W2016150924C2777686260 @default.
• W2016150924 hasConceptScore W2016150924C2779343474 @default.
• W2016150924 hasConceptScore W2016150924C2780069185 @default.
• W2016150924 hasConceptScore W2016150924C2984882572 @default.
• W2016150924 hasConceptScore W2016150924C31258907 @default.
• W2016150924 hasConceptScore W2016150924C33923547 @default.
• W2016150924 hasConceptScore W2016150924C41008148 @default.
• W2016150924 hasConceptScore W2016150924C41608201 @default.
• W2016150924 hasConceptScore W2016150924C71924100 @default.
• W2016150924 hasConceptScore W2016150924C80444323 @default.
• W2016150924 hasConceptScore W2016150924C86803240 @default.
• W2016150924 hasLocation W20161509241 @default.
• W2016150924 hasLocation W201615092410 @default.
• W2016150924 hasLocation W20161509242 @default.
• W2016150924 hasLocation W20161509243 @default.
• W2016150924 hasLocation W20161509244 @default.
• W2016150924 hasLocation W20161509245 @default.
• W2016150924 hasLocation W20161509246 @default.
• W2016150924 hasLocation W20161509247 @default.
• W2016150924 hasLocation W20161509248 @default.
• W2016150924 hasLocation W20161509249 @default.
• W2016150924 hasOpenAccess W2016150924 @default.
• W2016150924 hasPrimaryLocation W20161509241 @default.
• W2016150924 hasRelatedWork W1569743961 @default.
• W2016150924 hasRelatedWork W2095504289 @default.
• W2016150924 hasRelatedWork W2133915418 @default.
• W2016150924 hasRelatedWork W2158162924 @default.
• W2016150924 hasRelatedWork W2166575037 @default.

• next