Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/23058
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorHennessy, Matthew-
dc.date.accessioned2017-10-27T12:34:14Z-
dc.date.available2017-10-27T12:34:14Z-
dc.date.issued2005-
dc.identifier.citationFrancalanza, A., & Hennessy, M. (2005). Location and link failure in a distributed π-calculus. (2005:01). Brighton.en_GB
dc.identifier.issn13503170-
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/23058-
dc.description.abstractWe develop a behavioural theory of distributed systems in the presence of failures. The framework we use is that of Dπ, a language in which located processes, or agents, may migrate between dynamically created locations. These processes run on a distributed network, in which individual nodes may fail, or the links between them may be broken. The original language, Dπ, is extended by a new construct for detecting and reacting to these failures together with constructs that induce failure. 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 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 network and an observer, which can see the difference.en_GB
dc.language.isoenen_GB
dc.publisherUniversity of Sussex. Department of Informaticsen_GB
dc.rightsinfo:eu-repo/semantics/openAccessen_GB
dc.subjectBisimulationen_GB
dc.subjectPi-calculusen_GB
dc.titleLocation and link failure in a distributed π-calculusen_GB
dc.typereporten_GB
dc.rights.holderThe 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 holderen_GB
dc.description.reviewedpeer-revieweden_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Location_and_Link_Failure_in_a_Distributed_-calcul.pdf326.76 kBAdobe PDFView/Open


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.