Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23156
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Hennessy, Matthew | - |
dc.date.accessioned | 2017-10-31T09:58:52Z | - |
dc.date.available | 2017-10-31T09:58:52Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Francalanza, A., & Hennessy, M. (2008). A theory of system behaviour in the presence of node and link failure. Information and Computation, 206(6), 711-759. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23156 | - |
dc.description.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. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Academic Press | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Distributed operating systems (Computers) | en_GB |
dc.subject | Bisimulation | en_GB |
dc.subject | Computer software -- Development | en_GB |
dc.subject | Computer software -- Quality control | en_GB |
dc.title | A theory of system behaviour in the presence of node and link failure | en_GB |
dc.type | article | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | DOI: 10.1007/11539452_29 | - |
dc.publication.title | Information and Computation | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_Theory_of_System_Behaviour_in_the_Presence_of_No.pdf | 358.2 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.