TY  - CHAP
T2  - FSTTCS
PB  - Springer
ID  - eprints340
EP  - 393
N2  - 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. 
ED  - Pandu Rangan, C.
ED  - Raman, Venkatesh
ED  - Ramanujam, Ramaswamy
SN  - 3-540-66836-5
A1  - Corradini, Flavio
A1  - De Nicola, Rocco
A1  - Labella, Anna
M1  - 1738
UR  - http://dx.doi.org/10.1007/3-540-46691-6_31
Y1  - 1999///
TI  - Graded Modalities and Resource Bisimulation
SP  - 381
T3  - Lecture Notes in Computer Science
AV  - none
ER  -