Matches in SemOpenAlex for { <https://semopenalex.org/work/W826483376> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W826483376 endingPage "181" @default.
- W826483376 startingPage "167" @default.
- W826483376 abstract "We study the behavioural theory of a higher-order distributed calculus with private names and locations that can be passivated. For this language, we present a novel Labelled Transition System where higher-order inputs are symbolic agents that can perform a limited number of transitions, capturing the nature of passivation. Standard first-order weak bisimulation over this LTS coincides with contextual equivalence, and provides the first useful proof technique without a universal quantification over contexts for an intricate distributed language." @default.
- W826483376 created "2016-06-24" @default.
- W826483376 creator A5012184818 @default.
- W826483376 creator A5036035088 @default.
- W826483376 date "2013-01-01" @default.
- W826483376 modified "2023-09-25" @default.
- W826483376 title "Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation" @default.
- W826483376 cites W1520313722 @default.
- W826483376 cites W1530882603 @default.
- W826483376 cites W1540321537 @default.
- W826483376 cites W1554018104 @default.
- W826483376 cites W1895690282 @default.
- W826483376 cites W1999770529 @default.
- W826483376 cites W2018456712 @default.
- W826483376 cites W2041122221 @default.
- W826483376 cites W2158293316 @default.
- W826483376 cites W2201760732 @default.
- W826483376 cites W2914597273 @default.
- W826483376 cites W2951546131 @default.
- W826483376 cites W2052295798 @default.
- W826483376 doi "https://doi.org/10.1007/978-3-642-40184-8_13" @default.
- W826483376 hasPublicationYear "2013" @default.
- W826483376 type Work @default.
- W826483376 sameAs 826483376 @default.
- W826483376 citedByCount "3" @default.
- W826483376 countsByYear W8264833762014 @default.
- W826483376 countsByYear W8264833762015 @default.
- W826483376 crossrefType "book-chapter" @default.
- W826483376 hasAuthorship W826483376A5012184818 @default.
- W826483376 hasAuthorship W826483376A5036035088 @default.
- W826483376 hasBestOaLocation W8264833762 @default.
- W826483376 hasConcept C10138342 @default.
- W826483376 hasConcept C135315306 @default.
- W826483376 hasConcept C162324750 @default.
- W826483376 hasConcept C178790620 @default.
- W826483376 hasConcept C182306322 @default.
- W826483376 hasConcept C185592680 @default.
- W826483376 hasConcept C202444582 @default.
- W826483376 hasConcept C2779167558 @default.
- W826483376 hasConcept C2779227376 @default.
- W826483376 hasConcept C2780069185 @default.
- W826483376 hasConcept C33574316 @default.
- W826483376 hasConcept C33923547 @default.
- W826483376 hasConcept C41008148 @default.
- W826483376 hasConcept C80444323 @default.
- W826483376 hasConceptScore W826483376C10138342 @default.
- W826483376 hasConceptScore W826483376C135315306 @default.
- W826483376 hasConceptScore W826483376C162324750 @default.
- W826483376 hasConceptScore W826483376C178790620 @default.
- W826483376 hasConceptScore W826483376C182306322 @default.
- W826483376 hasConceptScore W826483376C185592680 @default.
- W826483376 hasConceptScore W826483376C202444582 @default.
- W826483376 hasConceptScore W826483376C2779167558 @default.
- W826483376 hasConceptScore W826483376C2779227376 @default.
- W826483376 hasConceptScore W826483376C2780069185 @default.
- W826483376 hasConceptScore W826483376C33574316 @default.
- W826483376 hasConceptScore W826483376C33923547 @default.
- W826483376 hasConceptScore W826483376C41008148 @default.
- W826483376 hasConceptScore W826483376C80444323 @default.
- W826483376 hasLocation W8264833761 @default.
- W826483376 hasLocation W8264833762 @default.
- W826483376 hasOpenAccess W826483376 @default.
- W826483376 hasPrimaryLocation W8264833761 @default.
- W826483376 hasRelatedWork W1500812389 @default.
- W826483376 hasRelatedWork W1501000822 @default.
- W826483376 hasRelatedWork W1554045856 @default.
- W826483376 hasRelatedWork W1608609850 @default.
- W826483376 hasRelatedWork W1804005701 @default.
- W826483376 hasRelatedWork W2008781243 @default.
- W826483376 hasRelatedWork W2063608931 @default.
- W826483376 hasRelatedWork W2135048208 @default.
- W826483376 hasRelatedWork W2136070637 @default.
- W826483376 hasRelatedWork W2153273838 @default.
- W826483376 isParatext "false" @default.
- W826483376 isRetracted "false" @default.
- W826483376 magId "826483376" @default.
- W826483376 workType "book-chapter" @default.