Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPace, Gordon J.-
dc.contributor.authorLang, Frederic-
dc.contributor.authorMateescu, Radu-
dc.identifier.citationLang, F., Mateescu, R., & Pace, G. J. (2003). Calculating τ-confluence compositionally. 15th International Conference on Computer Aided Verification (CAV 2003), Boulder. 446-459.en_GB
dc.description.abstractτ-confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ-confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, we show how we can deduce partial τ-confluence in a computationally cheap manner. Finally, these techniques are applied to a number of case studies, including the rel/REL atomic multicast protocol.en_GB
dc.publisherSpringer Berlin Heidelbergen_GB
dc.subjectComputer programs -- Verificationen_GB
dc.subjectCompositionality (Linguistics)en_GB
dc.subjectComputer algorithmsen_GB
dc.subjectMulticasting (Computer networks)en_GB
dc.titleCalculating τ-confluence compositionallyen_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 holder.en_GB
dc.bibliographicCitation.conferencename15th International Conference on Computer Aided Verification (CAV 2003)en_GB
dc.bibliographicCitation.conferenceplaceBoulder, USA, 8-12/07/2003en_GB
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Calculating_τ_confluence_compositionally_2003.pdf245.83 kBAdobe PDFView/Open

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