Bisimulation

In theoretical computer science a bisimulation is an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa.

Intuitively two systems are bisimilar if they match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer.

Table of contents
1 Formal definition
2 Variants of bisimulation
3 See also

Formal definition

Given a labelled state transition system (S, Λ, →), a bisimulation relation is a binary relation R over S (i.e. R &sube S × S) such that both R and R-1 are simulation preorders.

Equivalently R is a bisimulation if for every pair of elements p, q in S, if (p,q)is in R then for all α in Λ, and for all p' in S,

 

implies that there is a q' in S such that

 

and (p',q') in R, and for all q' in S,

 

implies that there is a p' in S such that

 

and (p',q') in R.

Given two states p and q in S, p is bisimilar to q, written p ∼ q, if there is a bisimulation R such that (p, q) is in R.

The bisimilarity relation ∼ is an equivalence relation. Furthermore, it is the largest bisimulation relation over a given transition system.

Note that it is not always the case that if p simulates q and q simulates p then they are bisimilar. For p and q to be bisimilar, the simulation between p and q must be the inverse of the simulation between q and p.

Variants of bisimulation

In special contexts the notion of bisimulation is sometimes refined by adding additional requirements or constraints. For example if the state transition system includes a notion of silent actions, i.e. actions which are not visible by external observers, then bisimulation can be relaxed to be weak bisimulation, in which the silent actions are ignored.

Typically, if the state transition system gives the operational semantics of a programming language, then the precise definition of bisimulation will be specific to the rstrictions of the programming language. Therefore, in general, there may be more than one kind of bisimulation, (bisimilarity resp.) relationship depending on the context.

See also



In the News

Virtual Trip To The Heart Of 400 Million Years Old Microfossils
Researchers from France, China and ESRF have identified enigmatic fossils from Devonian (400 million years) as fructification of charophyte algae. Charophytes are land plants living in fresh water that still exist. This breakthrough allows researchers to better understand the evolution of these plants of the Paleozoic era and to have an improved overview of the climate at this period. The powerful X-rays at the ESRF were a key to understand the structure of these fossils.

Knowing How Ketamine Impairs Brain Circuitry May Lead To New Therapies
Scientists know that the drug ketamine -- street name "Special K"-- can induce schizophrenia-like symptoms in drug abusers. Ketamine is also used as an anesthetic and, more recently, as an antidepressant -- raising concerns by researchers at the UCSD School of Medicine, who have found that ketamine leads to the impairments in brain circuitry observed in both drug abusers and schizophrenic patients by causing increased production of a toxic free radical called "superoxide."

Microbial hygiene
Cleaning up on a microscopic scale

Contrast Agent Allows Quicker, More Thorough MRI Screening Of Living L
A single dose of the contrast agent gadobenate dimeglumine can help liver donors avoid multiple MRI examinations during the screening process, cutting down on time and cost without compromising accuracy, say researchers from the Yonsei University College of Medicine in Seoul, Korea.

Report On Health And Habits Of College Students Released
A comprehensive survey on the health of US college students has been completed. About 10,000 college students completed the survey. Although the study is focused on students from 14 campuses in Minnesota, the health findings here reflect national health trends for college students, according to researchers.

The International Day of Peace September 21
This day "provides an opportunity for individuals, organizations and nations to create practical acts of peace on a shared date."The site features the U.N. resolutions designating this day, a listing of events throughout the world, educational resources, and links to related material. This site "is provided by Pathways To Peace, the International Secretariat of the Culture of Peace Initiative (formerly We The Peoples Initiative), a United Nations-designated Peace Messenger Initiative."

Write a Brilliant Pantomime With Billy &Wolfy
A lighthearted description (with "comments"from William Shakespeare and Wolfgang Amadeus Mozart) of "how to write [English] pantomime scripts covering, basic rules, choosing the story, shaping the pantomime, shaping individual scenes, use of music, and writing and producing for children."Also includes an overview of this form of "Christmas entertainment based on a fairy tale,"and three scripts. From a pantomime script author.

Space Tech Onboard Transatlantic Racer
European space technology will boost the performance of at least one boatduring this year's Transat Jacques Vabre international sailing contest. The race starts on Saturday from Le Havre in France, and ends in Salvador de Bahia, Brazil.

Saddam Hussein on Trial
Collection of audio files of news programs on the first Saddam Hussein trial (beginning October 2005) in which "he stands accused of ordering the massacre of 143 in the village of Dujail,"Iraq. Discusses the war crimes tribunal established by Iraq's governing council, reactions to the trial, comparison of the trial with those in U.S. courts, and related material. From National Public Radio (NPR).

New Parks To Protect Animals Seen As Feasible
Many "gap"locations worldwide -- identified in previous research as lacking conservation protection yet harboring imperiled animal species -- are ripe for conservation efforts, because they have a sparse human population and large tracts of conservation-compatible habitat, and are unattractive for agriculture.


MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com
iTunes_RGB_9mm

 


Google




InformationQuickFind.com - Find Information Fast

Links