Skip to search formSkip to main contentSkip to account menu

Bisimulation

Known as: Bisimilar, Bisimilarity 
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations
BigraphCalculus of Broadcasting SystemsCoinductionCorecursion

Broader (3)

Formal methodsLogic in computer scienceTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Implicit Propagation in Structural Operational Semantics
Highly Cited
2006
Highly Cited
2006
Verification of Medical Guidelines by Model Checking - A Case Study
This paper presents a case study on how to apply formal modeling and verification in the context of quality improvement in… 
2006
2006
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes
Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through… 
2006
2006
State Space Reduction of Rewrite Theories Using Invisible Transitions
State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique… 
2004
2004
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present… 
Highly Cited
2000
Highly Cited
2000
Exercises in Coalgebraic Specification
An introduction to coalgebraic specification is presented via examples. A coalgebralc specification describes a collection of… 
2000
2000
Expressiveness of Updatable Timed Automata
Since their introduction by Alur and Dill, timed automata have been one of the most widely studied models for real-time systems… 
2000
2000
Graphical Operational Semantics
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the… 
Highly Cited
1996
Highly Cited
1996
Conservative adaption of workflow
Business processes and, tberefore, workflow models are often adapted. Adaptations can be caused eitber by procedural changes… 
1988
1988
Axiomatising Finite Concurrent Processes
  • M. Hennessy
  • SIAM journal on computing (Print)
  • 1988
  • Corpus ID: 42805640
We re-examine the well-known observational equivalence between processes with a view to modifying it so as to distinguish between… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)