• Examples
  • Textual Definition
  • Transitions as CSV
  • SVG Picture
  • Closures
  • Compressions
  • (Bi-)Similarity
  • Master Thesis: "Computing Coupled Similarity" (PDF)
  • Paper: "Computing Coupled Similarity" (TACAS 2019, PDF, SpringerLink)
  • Talk: "Computing Coupled Similarity" (TACAS 2019, Prezi)
  • Talk: "Computing Coupled Similarity" (D-CON 2018, Prezi)
  • Source code (Scala.js)
  • Formalization (Isabelle/HOL)
  • About the Coupled Sim Fiddle Tool

About the Coupled Sim Fiddle

This is a tool for testing algorithms concerning coupled similarity / the coupled simulation preorder in the context of Benjamin Bisping's master's thesis "Computing Coupled Similarity".

Coupled Simulation is a comparably coarse notion of equivalence for transition systems with silent/internal transitions ("tau"-transitions). Still, it coincides with bisimulation if all transitions are visible.

The Coupled Sim Fiddle is developed at MTV TU Berlin by:

  • Benjamin Bisping (info@bbisping.de)
The frontend is derived from our HDES Tool for higher-order dynamic-causality event structures.