FRINK Linked Data Fragments server

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

• W1986548488 endingPage "69" @default.
• W1986548488 startingPage "50" @default.
• W1986548488 abstract "Context bisimulation is a conceptually appealing behavioural equivalence for higher–order processes. Assuming that the scoping discipline for names or channels is static, that notion can be characterized in terms of so–called normal bisimulation and in terms of π-calculus bisimulation. This paper provides a new characterization. Specifically, late context bisimulation in the static setting is characterized as ordinary delay bisimulation. The basis of that is a new operational semantics for higher–order processes, where higher–order communication is replaced by the coupling of trigger actions. These actions are freshly generated whenever, in the original semantics, an input or output would occur. To obtain the characterization, those actions must be normalized; to achieve this normalization, in turn, a novel scheme of shifting and unshifting actions in used." @default.
• W1986548488 created "2016-06-24" @default.
• W1986548488 creator A5042566055 @default.
• W1986548488 date "2001-11-01" @default.
• W1986548488 modified "2023-09-25" @default.
• W1986548488 title "First–order Semantics for Higher–order Processes" @default.
• W1986548488 cites W149473297 @default.
• W1986548488 cites W1540321537 @default.
• W1986548488 cites W1554461997 @default.
• W1986548488 cites W1558133811 @default.
• W1986548488 cites W1790031272 @default.
• W1986548488 cites W2001299902 @default.
• W1986548488 cites W2013672985 @default.
• W1986548488 cites W2033051110 @default.
• W1986548488 cites W2094935854 @default.
• W1986548488 cites W2098981343 @default.
• W1986548488 cites W2111841006 @default.
• W1986548488 cites W2157144873 @default.
• W1986548488 cites W2167949883 @default.
• W1986548488 cites W2201760732 @default.
• W1986548488 cites W2481588761 @default.
• W1986548488 cites W3177659913 @default.
• W1986548488 cites W78524380 @default.
• W1986548488 cites W2612491528 @default.
• W1986548488 doi "https://doi.org/10.1016/s1571-0661(04)80873-9" @default.
• W1986548488 hasPublicationYear "2001" @default.
• W1986548488 type Work @default.
• W1986548488 sameAs 1986548488 @default.
• W1986548488 citedByCount "0" @default.
• W1986548488 crossrefType "journal-article" @default.
• W1986548488 hasAuthorship W1986548488A5042566055 @default.
• W1986548488 hasBestOaLocation W19865484881 @default.
• W1986548488 hasConcept C118615104 @default.
• W1986548488 hasConcept C135315306 @default.
• W1986548488 hasConcept C136119220 @default.
• W1986548488 hasConcept C136886441 @default.
• W1986548488 hasConcept C144024400 @default.
• W1986548488 hasConcept C151730666 @default.
• W1986548488 hasConcept C156325763 @default.
• W1986548488 hasConcept C161771561 @default.
• W1986548488 hasConcept C171250308 @default.
• W1986548488 hasConcept C184337299 @default.
• W1986548488 hasConcept C19165224 @default.
• W1986548488 hasConcept C192562407 @default.
• W1986548488 hasConcept C199360897 @default.
• W1986548488 hasConcept C202444582 @default.
• W1986548488 hasConcept C2779343474 @default.
• W1986548488 hasConcept C2780069185 @default.
• W1986548488 hasConcept C2780841128 @default.
• W1986548488 hasConcept C33923547 @default.
• W1986548488 hasConcept C41008148 @default.
• W1986548488 hasConcept C80444323 @default.
• W1986548488 hasConcept C86803240 @default.
• W1986548488 hasConceptScore W1986548488C118615104 @default.
• W1986548488 hasConceptScore W1986548488C135315306 @default.
• W1986548488 hasConceptScore W1986548488C136119220 @default.
• W1986548488 hasConceptScore W1986548488C136886441 @default.
• W1986548488 hasConceptScore W1986548488C144024400 @default.
• W1986548488 hasConceptScore W1986548488C151730666 @default.
• W1986548488 hasConceptScore W1986548488C156325763 @default.
• W1986548488 hasConceptScore W1986548488C161771561 @default.
• W1986548488 hasConceptScore W1986548488C171250308 @default.
• W1986548488 hasConceptScore W1986548488C184337299 @default.
• W1986548488 hasConceptScore W1986548488C19165224 @default.
• W1986548488 hasConceptScore W1986548488C192562407 @default.
• W1986548488 hasConceptScore W1986548488C199360897 @default.
• W1986548488 hasConceptScore W1986548488C202444582 @default.
• W1986548488 hasConceptScore W1986548488C2779343474 @default.
• W1986548488 hasConceptScore W1986548488C2780069185 @default.
• W1986548488 hasConceptScore W1986548488C2780841128 @default.
• W1986548488 hasConceptScore W1986548488C33923547 @default.
• W1986548488 hasConceptScore W1986548488C41008148 @default.
• W1986548488 hasConceptScore W1986548488C80444323 @default.
• W1986548488 hasConceptScore W1986548488C86803240 @default.
• W1986548488 hasIssue "3" @default.
• W1986548488 hasLocation W19865484881 @default.
• W1986548488 hasOpenAccess W1986548488 @default.
• W1986548488 hasPrimaryLocation W19865484881 @default.
• W1986548488 hasRelatedWork W1543496272 @default.
• W1986548488 hasRelatedWork W1598391849 @default.
• W1986548488 hasRelatedWork W1986548488 @default.
• W1986548488 hasRelatedWork W2069441293 @default.
• W1986548488 hasRelatedWork W2073617562 @default.
• W1986548488 hasRelatedWork W2135048208 @default.
• W1986548488 hasRelatedWork W2155105871 @default.
• W1986548488 hasRelatedWork W2167838019 @default.
• W1986548488 hasRelatedWork W2807761056 @default.
• W1986548488 hasRelatedWork W2951025822 @default.
• W1986548488 hasVolume "41" @default.
• W1986548488 isParatext "false" @default.
• W1986548488 isRetracted "false" @default.
• W1986548488 magId "1986548488" @default.
• W1986548488 workType "article" @default.