• Esterel

  • Referenced in 161 articles [sw20012]
  • based verification tools that perform either bisimulation reduction or safety property checking. Esterel...
  • Bio-PEPA

  • Referenced in 102 articles [sw01361]
  • equivalence.Specifically, the isomorphism and strong bisimulation for PEPA have been considered andextended...
  • MRMC

  • Referenced in 67 articles [sw04129]
  • reward-bounded reachability probabilities, (property-driven) bisimulation minimization, and precise on-the-fly steady-state...
  • 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 real-world 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 on-the-fly 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 case-study referring to bisimulations, and through excerpts from a large-scale...
  • Referee

  • Referenced in 7 articles [sw12439]
  • particular by a case-study referring to bisimulations, and through excerpts from a large-scale...
  • 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...
  • New-HOPLA

  • 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 Input-to-Output Stability...