
Esterel
 Referenced in 163 articles
[sw20012]
 based verification tools that perform either bisimulation reduction or safety property checking. Esterel...

BioPEPA
 Referenced in 102 articles
[sw01361]
 equivalence.Speciﬁcally, the isomorphism and strong bisimulation for PEPA have been considered andextended...

MRMC
 Referenced in 70 articles
[sw04129]
 rewardbounded reachability probabilities, (propertydriven) bisimulation minimization, and precise onthefly steadystate...

MATISSE
 Referenced in 25 articles
[sw06311]
 framework of abstracting linear systems using approximate bisimulation relations [1,2,3,4]. Contrary ... refinement based on language inclusion or exact bisimulation relations, approximate bisimulation relations do not require ... abstraction to be exactly the same. Approximate bisimulation relations aim in capturing the most significant ... given by the precision of the approximate bisimulation. This precision notably provides a bound...

CoCasl
 Referenced in 26 articles
[sw13076]
 CoCasl cover the various process equivalences (bisimulation, weak bisimulation, observational congruence, and trace equivalence...

MWB
 Referenced in 33 articles
[sw04395]
 version of the MWB is checking open bisimulation equivalences. We illustrate the MWB with...

SIGREF
 Referenced in 15 articles
[sw00859]
 based approach to compute the most popular bisimulations. Our approach is implemented symbolically using BDDs ... very large transition systems. Signatures for the bisimulations are built up from a few generic ... development of algorithms for other types of bisimulation.\parWe provide experimental evidence of the viability ... approach by presenting computational results for many bisimulations on realworld instances. The experiments show...

HOPLA
 Referenced in 14 articles
[sw02330]
 process is capable. Its operational semantics, bisimulation, congruence properties and expressive power are explored...

SafeDpi
 Referenced in 13 articles
[sw01989]
 behavioural equivalence can be characterised coinductively, using bisimulations based on typed actions. The characterisation...

BISIMULATOR
 Referenced in 7 articles
[sw02526]
 BISIMULATOR: A modular tool for onthefly equivalence checking. The equivalence checking problem consists...

UnQL
 Referenced in 9 articles
[sw20018]
 based on value equality, formally defined with bisimulation. Structural recursion is shown to be invariant...

AEtnaNova
 Referenced in 8 articles
[sw06360]
 particular by a casestudy referring to bisimulations, and through excerpts from a largescale...

Referee
 Referenced in 7 articles
[sw12439]
 particular by a casestudy referring to bisimulations, and through excerpts from a largescale...

PTSC
 Referenced in 5 articles
[sw13692]
 Based on this model we define a bisimulation relation, from which an observational equivalence between...

FaPAS
 Referenced in 4 articles
[sw10957]
 systems – an approach inspired by the “bisimulation algorithm”. In FFaPAS on the other hand...

VeriSIMPL
 Referenced in 4 articles
[sw14598]
 proven either to simulate or to bisimulate the original MPL system. The approach enables...

PlayGame
 Referenced in 2 articles
[sw01409]
 full range of equivalence/preorder semantics including: bisimulation /simulation, weak bisimulation /simulation, trace equivalence /preorder...

CoCLAM
 Referenced in 2 articles
[sw28719]
 choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving ... makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated...

NewHOPLA
 Referenced in 3 articles
[sw06992]
 paths it can perform. Its transition semantics, bisimulation, congruence properties and expressive power are explored...

BFComp
 Referenced in 3 articles
[sw18654]
 decidability over the reals, to compute Bisimulation Functions (BFs) that characterize InputtoOutput Stability...