Matches in SemOpenAlex for { <https://semopenalex.org/work/W2122630589> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2122630589 endingPage "669" @default.
- W2122630589 startingPage "615" @default.
- W2122630589 abstract "We define a typed bisimulation equivalence for the language DPI, a distributed version of the π-calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, which can be implemented in DPI using a novel form of dynamic capability types. The equivalence, based on typed actions between configurations, is justified by showing that it is fully abstract with respect to a natural distributed version of a contextual equivalence. In the second part of the paper we study the effect of controlling the migration of processes. This affects the ability to perform observations at specific locations, as the observer may be denied access. We show how the typed actions can be modified to take this into account, and generalise the full-abstraction result to this more delicate scenario." @default.
- W2122630589 created "2016-06-24" @default.
- W2122630589 creator A5036035088 @default.
- W2122630589 creator A5051857172 @default.
- W2122630589 creator A5062506473 @default.
- W2122630589 date "2004-09-01" @default.
- W2122630589 modified "2023-09-23" @default.
- W2122630589 title "Towards a behavioural theory of access and mobility control in distributed systems" @default.
- W2122630589 cites W1505781641 @default.
- W2122630589 cites W1591752798 @default.
- W2122630589 cites W1596661899 @default.
- W2122630589 cites W1805374951 @default.
- W2122630589 cites W1945318122 @default.
- W2122630589 cites W1978612864 @default.
- W2122630589 cites W1981774736 @default.
- W2122630589 cites W2004048608 @default.
- W2122630589 cites W2021196439 @default.
- W2122630589 cites W2072048176 @default.
- W2122630589 cites W2119972514 @default.
- W2122630589 cites W2128932399 @default.
- W2122630589 cites W2130367580 @default.
- W2122630589 cites W2148025199 @default.
- W2122630589 cites W2168538078 @default.
- W2122630589 cites W2491452408 @default.
- W2122630589 cites W2912003593 @default.
- W2122630589 cites W3086833807 @default.
- W2122630589 doi "https://doi.org/10.1016/j.tcs.2003.12.024" @default.
- W2122630589 hasPublicationYear "2004" @default.
- W2122630589 type Work @default.
- W2122630589 sameAs 2122630589 @default.
- W2122630589 citedByCount "32" @default.
- W2122630589 countsByYear W21226305892014 @default.
- W2122630589 countsByYear W21226305892018 @default.
- W2122630589 countsByYear W21226305892019 @default.
- W2122630589 countsByYear W21226305892022 @default.
- W2122630589 crossrefType "journal-article" @default.
- W2122630589 hasAuthorship W2122630589A5036035088 @default.
- W2122630589 hasAuthorship W2122630589A5051857172 @default.
- W2122630589 hasAuthorship W2122630589A5062506473 @default.
- W2122630589 hasBestOaLocation W21226305892 @default.
- W2122630589 hasConcept C111472728 @default.
- W2122630589 hasConcept C118615104 @default.
- W2122630589 hasConcept C120314980 @default.
- W2122630589 hasConcept C121332964 @default.
- W2122630589 hasConcept C124304363 @default.
- W2122630589 hasConcept C135315306 @default.
- W2122630589 hasConcept C138885662 @default.
- W2122630589 hasConcept C161771561 @default.
- W2122630589 hasConcept C199360897 @default.
- W2122630589 hasConcept C2780069185 @default.
- W2122630589 hasConcept C2780704645 @default.
- W2122630589 hasConcept C2984882572 @default.
- W2122630589 hasConcept C33923547 @default.
- W2122630589 hasConcept C38652104 @default.
- W2122630589 hasConcept C41008148 @default.
- W2122630589 hasConcept C527821871 @default.
- W2122630589 hasConcept C62520636 @default.
- W2122630589 hasConcept C80444323 @default.
- W2122630589 hasConceptScore W2122630589C111472728 @default.
- W2122630589 hasConceptScore W2122630589C118615104 @default.
- W2122630589 hasConceptScore W2122630589C120314980 @default.
- W2122630589 hasConceptScore W2122630589C121332964 @default.
- W2122630589 hasConceptScore W2122630589C124304363 @default.
- W2122630589 hasConceptScore W2122630589C135315306 @default.
- W2122630589 hasConceptScore W2122630589C138885662 @default.
- W2122630589 hasConceptScore W2122630589C161771561 @default.
- W2122630589 hasConceptScore W2122630589C199360897 @default.
- W2122630589 hasConceptScore W2122630589C2780069185 @default.
- W2122630589 hasConceptScore W2122630589C2780704645 @default.
- W2122630589 hasConceptScore W2122630589C2984882572 @default.
- W2122630589 hasConceptScore W2122630589C33923547 @default.
- W2122630589 hasConceptScore W2122630589C38652104 @default.
- W2122630589 hasConceptScore W2122630589C41008148 @default.
- W2122630589 hasConceptScore W2122630589C527821871 @default.
- W2122630589 hasConceptScore W2122630589C62520636 @default.
- W2122630589 hasConceptScore W2122630589C80444323 @default.
- W2122630589 hasIssue "3" @default.
- W2122630589 hasLocation W21226305891 @default.
- W2122630589 hasLocation W21226305892 @default.
- W2122630589 hasLocation W21226305893 @default.
- W2122630589 hasOpenAccess W2122630589 @default.
- W2122630589 hasPrimaryLocation W21226305891 @default.
- W2122630589 hasRelatedWork W1561927156 @default.
- W2122630589 hasRelatedWork W1603799276 @default.
- W2122630589 hasRelatedWork W1605179516 @default.
- W2122630589 hasRelatedWork W1888841230 @default.
- W2122630589 hasRelatedWork W2069441293 @default.
- W2122630589 hasRelatedWork W2122630589 @default.
- W2122630589 hasRelatedWork W2134317149 @default.
- W2122630589 hasRelatedWork W4207042428 @default.
- W2122630589 hasRelatedWork W4230750962 @default.
- W2122630589 hasRelatedWork W91613743 @default.
- W2122630589 hasVolume "322" @default.
- W2122630589 isParatext "false" @default.
- W2122630589 isRetracted "false" @default.
- W2122630589 magId "2122630589" @default.
- W2122630589 workType "article" @default.