FRINK Linked Data Fragments server

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

• W7579763 abstract "We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of Dπ, a language in which located processes, or agents, may migrate between dynamically created locations. In our extended framework, these processes run on a distributed network, in which individual nodes may crash in fail-stop fashion or the links between these nodes may become permanently broken. The original language, Dπ, is also extended by a ping construct for detecting and reacting to these failures. We define a bisimulation equivalence between these systems, based on labelled actions which record, in addition to the effect actions have on the processes, the effect on the actual state of the underlying network and the view of this state known to observers. We prove that the equivalence is fully abstract, in the sense that two systems will be differentiated if and only if, in some sense, there is a computational context, consisting of a surrounding network and an observer, which can see the difference." @default.
• W7579763 created "2016-06-24" @default.
• W7579763 creator A5036035088 @default.
• W7579763 creator A5077349456 @default.
• W7579763 date "2005-01-01" @default.
• W7579763 modified "2023-09-27" @default.
• W7579763 title "A Theory of System Behaviour in the Presence of Node and Link Failures (Extended Abstract)" @default.
• W7579763 cites W1498709867 @default.
• W7579763 cites W1503973138 @default.
• W7579763 cites W1543189905 @default.
• W7579763 cites W1582369902 @default.
• W7579763 cites W1586537374 @default.
• W7579763 cites W1591752798 @default.
• W7579763 cites W176676668 @default.
• W7579763 cites W1980172083 @default.
• W7579763 cites W2004048608 @default.
• W7579763 cites W2013672985 @default.
• W7579763 cites W2072048176 @default.
• W7579763 cites W2088599499 @default.
• W7579763 cites W2103201802 @default.
• W7579763 cites W2122630589 @default.
• W7579763 cites W2133943294 @default.
• W7579763 cites W2169408245 @default.
• W7579763 cites W2767929174 @default.
• W7579763 hasPublicationYear "2005" @default.
• W7579763 type Work @default.
• W7579763 sameAs 7579763 @default.
• W7579763 citedByCount "0" @default.
• W7579763 crossrefType "journal-article" @default.
• W7579763 hasAuthorship W7579763A5036035088 @default.
• W7579763 hasAuthorship W7579763A5077349456 @default.
• W7579763 hasConcept C11413529 @default.
• W7579763 hasConcept C118615104 @default.
• W7579763 hasConcept C120314980 @default.
• W7579763 hasConcept C121332964 @default.
• W7579763 hasConcept C127413603 @default.
• W7579763 hasConcept C135315306 @default.
• W7579763 hasConcept C151730666 @default.
• W7579763 hasConcept C156308498 @default.
• W7579763 hasConcept C183469790 @default.
• W7579763 hasConcept C199360897 @default.
• W7579763 hasConcept C2778753846 @default.
• W7579763 hasConcept C2779343474 @default.
• W7579763 hasConcept C2780069185 @default.
• W7579763 hasConcept C2780704645 @default.
• W7579763 hasConcept C2780801425 @default.
• W7579763 hasConcept C31258907 @default.
• W7579763 hasConcept C33923547 @default.
• W7579763 hasConcept C38652104 @default.
• W7579763 hasConcept C41008148 @default.
• W7579763 hasConcept C48103436 @default.
• W7579763 hasConcept C62520636 @default.
• W7579763 hasConcept C62611344 @default.
• W7579763 hasConcept C66938386 @default.
• W7579763 hasConcept C80444323 @default.
• W7579763 hasConcept C86803240 @default.
• W7579763 hasConceptScore W7579763C11413529 @default.
• W7579763 hasConceptScore W7579763C118615104 @default.
• W7579763 hasConceptScore W7579763C120314980 @default.
• W7579763 hasConceptScore W7579763C121332964 @default.
• W7579763 hasConceptScore W7579763C127413603 @default.
• W7579763 hasConceptScore W7579763C135315306 @default.
• W7579763 hasConceptScore W7579763C151730666 @default.
• W7579763 hasConceptScore W7579763C156308498 @default.
• W7579763 hasConceptScore W7579763C183469790 @default.
• W7579763 hasConceptScore W7579763C199360897 @default.
• W7579763 hasConceptScore W7579763C2778753846 @default.
• W7579763 hasConceptScore W7579763C2779343474 @default.
• W7579763 hasConceptScore W7579763C2780069185 @default.
• W7579763 hasConceptScore W7579763C2780704645 @default.
• W7579763 hasConceptScore W7579763C2780801425 @default.
• W7579763 hasConceptScore W7579763C31258907 @default.
• W7579763 hasConceptScore W7579763C33923547 @default.
• W7579763 hasConceptScore W7579763C38652104 @default.
• W7579763 hasConceptScore W7579763C41008148 @default.
• W7579763 hasConceptScore W7579763C48103436 @default.
• W7579763 hasConceptScore W7579763C62520636 @default.
• W7579763 hasConceptScore W7579763C62611344 @default.
• W7579763 hasConceptScore W7579763C66938386 @default.
• W7579763 hasConceptScore W7579763C80444323 @default.
• W7579763 hasConceptScore W7579763C86803240 @default.
• W7579763 hasLocation W75797631 @default.
• W7579763 hasOpenAccess W7579763 @default.
• W7579763 hasPrimaryLocation W75797631 @default.
• W7579763 hasRelatedWork W1501053555 @default.
• W7579763 hasRelatedWork W2013240518 @default.
• W7579763 hasRelatedWork W2030717545 @default.
• W7579763 hasRelatedWork W2040701450 @default.
• W7579763 hasRelatedWork W2083420849 @default.
• W7579763 hasRelatedWork W2103495621 @default.
• W7579763 hasRelatedWork W2127278621 @default.
• W7579763 hasRelatedWork W2166638273 @default.
• W7579763 hasRelatedWork W2317615283 @default.
• W7579763 hasRelatedWork W2522515010 @default.
• W7579763 hasRelatedWork W2542353610 @default.
• W7579763 hasRelatedWork W2545116964 @default.
• W7579763 hasRelatedWork W2569442817 @default.
• W7579763 hasRelatedWork W2586117243 @default.
• W7579763 hasRelatedWork W2792656544 @default.
• W7579763 hasRelatedWork W2949195249 @default.

• next