Bisimulation

R.J. van Glabbeek

doi:10.1007/978-0-387-09766-4149

Bisimulation

Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

Abstract / Description of output

Bisimulation equivalence is a semantic equivalence relation on labeled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.

Original language	English
Title of host publication	Encyclopedia of Parallel Computing
Editors	D. Padua
Publisher	Springer
Pages	136-139
Number of pages	4
ISBN (Print)	978-0-387-09765-7
DOIs	https://doi.org/10.1007/978-0-387-09766-4149
Publication status	Published - 8 Sept 2011

Access to Document

10.1007/978-0-387-09766-4149Licence: All Rights Reserved

https://link.springer.com/referenceworkentry/10.1007/978-0-387-09766-4_149Licence: All Rights Reserved

Cite this

@inbook{d40e5c9c5e3141ee951b59d58fb7116f,

title = "Bisimulation",

abstract = "Bisimulation equivalence is a semantic equivalence relation on labeled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.",

author = "{van Glabbeek}, R.J.",

year = "2011",

month = sep,

day = "8",

doi = "10.1007/978-0-387-09766-4149",

language = "English",

isbn = "978-0-387-09765-7",

pages = "136--139",

editor = "D. Padua",

booktitle = "Encyclopedia of Parallel Computing",

publisher = "Springer",

address = "United Kingdom",

}

TY - CHAP

T1 - Bisimulation

AU - van Glabbeek, R.J.

PY - 2011/9/8

Y1 - 2011/9/8

N2 - Bisimulation equivalence is a semantic equivalence relation on labeled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.

AB - Bisimulation equivalence is a semantic equivalence relation on labeled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.

U2 - 10.1007/978-0-387-09766-4149

DO - 10.1007/978-0-387-09766-4149

M3 - Entry for encyclopedia/dictionary

SN - 978-0-387-09765-7

SP - 136

EP - 139

BT - Encyclopedia of Parallel Computing

A2 - Padua, D.

PB - Springer

ER -

Bisimulation

Abstract / Description of output

Access to Document

Fingerprint

Cite this