A Domain Equation for Bisimulation

A Domain Equation for Bisimulation

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	1991

Similar Items

Approximate bisimulation minimisation
by: Kiefer, S, et al.
Published: (2021)

Computing maximal bisimulations
by: Bougakov, A, et al.
Published: (2014)

Bisimulation and refinement reconciled
by: Roscoe, A, et al.
Published: (2003)

Games for Bisimulations and Abstraction
by: David De Frutos Escrig, et al.
Published: (2017-11-01)

Relating Apartness and Bisimulation
by: Herman Geuvers, et al.
Published: (2021-07-01)

Polyprograms and Polyprogram Bisimulation
by: Sergei Grechanik
Published: (2018-10-01)

Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
by: Mariken H.C. Everdij, et al.
Published: (2010-03-01)

Nash equilibrium and bisimulation invariance
by: Gutierrez, J, et al.
Published: (2017)

Nash equilibrium and bisimulation invariance
by: Gutierrez, J, et al.
Published: (2019)

Nash Equilibrium and Bisimulation Invariance
by: Julian Gutierrez, et al.
Published: (2019-09-01)

Bisimulations for Delimited-Control Operators
by: Dariusz Biernacki, et al.
Published: (2019-05-01)

Lowerbounds for Bisimulation by Partition Refinement
by: Jan Friso Groote, et al.
Published: (2023-05-01)

Relating coalgebraic notions of bisimulation
by: Sam Staton
Published: (2011-03-01)

Words and bisimulations of dynamical systems
by: Thomas Brihaye
Published: (2007-01-01)

Coherent branching feature bisimulation
by: Tessa Belder, et al.
Published: (2015-04-01)

Logical Characterization of Bisimulation Metrics
by: Valentina Castiglioni, et al.
Published: (2016-10-01)

Words and bisimulations of dynamical systems
by: Thomas Brihaye
Published: (2007-05-01)

Bisimulation for component-based development
by: Elsa Clara Estévez, et al.
Published: (2002-05-01)

Bisimulation in Inquisitive Modal Logic
by: Ivano Ciardelli, et al.
Published: (2017-07-01)

A Definition Scheme for Quantitative Bisimulation
by: Diego Latella, et al.
Published: (2015-09-01)

Computing maximal weak and other bisimulations
by: Roscoe, A, et al.
Published: (2015)

Cost Preserving Bisimulations for Probabilistic Automata
by: Andrea Turrini, et al.
Published: (2014-12-01)

The Complexity of Bisimulation and Simulation on Finite Systems
by: Moses Ganardi, et al.
Published: (2018-10-01)

Approximating Bisimulation in One-counter Nets
by: V. A. Bashkin
Published: (2011-12-01)

An Efficient Algorithm to Determine Probabilistic Bisimulation
by: Jan Friso Groote, et al.
Published: (2018-09-01)

Syntactic markovian bisimulation for chemical reaction networks
by: Cardelli, L, et al.
Published: (2017)

Branchwise-real trees and bisimulations of potentialist systems
by: Adam-Day, S
Published: (2023)

Logics and bisimulation games for concurrency, causality and conflict
by: Gutierrez, J
Published: (2009)

Bisimulations Meet PCTL Equivalences for Probabilistic Automata
by: Lei Song, et al.
Published: (2013-06-01)

Sound approximate and asymptotic probabilistic bisimulations for PCTL
by: Massimo Bartoletti, et al.
Published: (2023-03-01)

Coalgebras for Bisimulation of Weighted Automata over Semirings
by: Purandar Bhaduri
Published: (2023-01-01)

On Context Bisimulation for Parameterized Higher-order Processes
by: Xian Xu
Published: (2013-10-01)

Coalgebraic Weak Bisimulation for Action-Type Systems
by: A. Sokolova, et al.
Published: (2009-12-01)

Distributed Branching Bisimulation Minimization by Inductive Signatures
by: Stefan Blom, et al.
Published: (2009-12-01)

Robustness of a bisimulation-type faster-than preorder
by: Katrin Iltgen, et al.
Published: (2009-11-01)

A Logic with Reverse Modalities for History-preserving Bisimulations
by: Irek Ulidowski, et al.
Published: (2011-08-01)

Recurrent graph neural networks and their connections to bisimulation and logic
by: Pflueger, M, et al.
Published: (2024)

Weak bisimulation for coalgebras over order enriched monads
by: Tomasz Brengos
Published: (2015-06-01)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
by: Daniel Gebler, et al.
Published: (2017-04-01)

Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
by: Diego Latella, et al.
Published: (2015-12-01)