relation: http://eprints.imtlucca.it/340/
title: Graded Modalities and Resource Bisimulation
creator: Corradini, Flavio
creator: De Nicola, Rocco
creator: Labella, Anna
subject: QA75 Electronic computers. Computer science
description: The logical characterization of the strong and the weak (ignoring silent actions) versions of resource bisimulation are studied. The temporal logics we introduce are variants of Hennessy-Milner Logics that use graded modalities instead of the classical box and diamond operators. The considered strong bisimulation induces an equivalence that, when applied to labelled transition systems, permits identifying all and only those systems that give rise to isomorphic unfoldings. Strong resource bisimulation has been used to provide nondeterministic interpretation of finite regular expressions and new axiomatizations for them. Here we generalize this result to its weak variant. 
publisher: Springer
contributor: Pandu Rangan, C.
contributor: Raman, Venkatesh
contributor: Ramanujam, Ramaswamy
date: 1999
type: Book Section
type: PeerReviewed
identifier:   Corradini, Flavio and De Nicola, Rocco and Labella, Anna  Graded Modalities and Resource Bisimulation.   In:  FSTTCS.   Lecture Notes in Computer Science, 1738 .  Springer, pp. 381-393.  ISBN 3-540-66836-5      (1999)  
relation: http://dx.doi.org/10.1007/3-540-46691-6_31
relation: 10.1007/3-540-46691-6_31