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
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on… 
2009
2009
On Solvability of a Decentralized Supervisory Control Problem With Communication
We study a decentralized control problem of discrete event systems with communication. We first give a general automata-theoretic… 
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
Observability of Hybrid Automata by Abstraction
In this paper, we deal with the observability problem of a class of Hybrid Systems whose output is a timed string on a finite… 
2005
2005
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion problem in model-checking. Unfortunately, finding… 
2002
2002
Updates for Structure Indexes
2001
2001
A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification
We propose a formal testing framework for a behavioural subset of UML statechart diagrams (UMLSDs). A formal operational… 
2001
2001
Architecting Software Systems with Process Algebras
Correct software components can give rise to architectural mismatches when assembled together in order to form a complex software… 
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… 
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)