Concepedia

Bisimulation

Bisimulation is a binary relation between states in a transition system that captures behavioral equivalence by requiring each transition of one system to be matched by a corresponding transition of the other, with the resulting states remaining related, thus preserving the observational indistinguishability of processes in concurrent systems.

640

Publications

29.5K

Citations

766

Authors

359

Institutions

Publications per year

2017–2026

59

Variants

Bisimulation Equivalence

Parents

Publications

640

Branching time and abstraction in bisimulation semantics

Rob J. van Glabbeek, W. P. Weijland · Journal of the ACM · 1996 · 737 citations · Full text

, , +12

CCS expressions, finite state processes, and three problems of equivalence

Paris C. Kanellakis, Scott A. Smolka · Information and Computation · 1990 · 535 citations

, , +12

Functions as processes

Robin Milner · Mathematical Structures in Computer Science · 1992 · 530 citations · Full text

, , +8

Approximation Metrics for Discrete and Continuous Systems

Antoine Girard, George J. Pappas · IEEE Transactions on Automatic Control · 2007 · 485 citations

, , +17

Bisimulation can't be traced

Bard Bloom, Sorin Istrail, Albert R. Meyer · Journal of the ACM · 1995 · 384 citations · Full text

, , +13

1–5 of 640

Authors

766

  1. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    18 publications · 860 citations

    15

    h-index

  2. DS
    Davide Sangiorgi

    Institut national de recherche en sciences et technologies du numérique, France

    14 publications · 1.6K citations

    13

    h-index

  3. LA
    Luca Aceto

    Aalborg University, Denmark

    18 publications · 536 citations

    13

    h-index

  4. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    13 publications · 798 citations

    12

    h-index

  5. PP
    Prakash Panangaden

    McGill University, Canada

    12 publications · 707 citations

    12

    h-index

1–5 of 766

Institutions

359

  1. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    23 h-index

    46 publications

    4.1K citations

  2. University of Sussex

    Brighton, United Kingdom

    20 h-index

    45 publications

    2.2K citations

  3. Aarhus University

    Aarhus, Denmark

    20 h-index

    42 publications

    1.9K citations

  4. University of Edinburgh

    Edinburgh, United Kingdom

    18 h-index

    31 publications

    2.4K citations

  5. Aalborg University

    Aalborg, Denmark

    17 h-index

    41 publications

    1.9K citations

  6. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    17 h-index

    29 publications

    1.8K citations

  7. University of Pennsylvania

    Philadelphia, United States

    16 h-index

    30 publications

    2.4K citations

  8. Eindhoven University of Technology

    Eindhoven, The Netherlands

    16 h-index

    49 publications

    1.4K citations

1–8 of 359

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 54 publications · 1.5K citations

    24

    h-index

  2. Theoretical Computer Science

    42 publications · 2.1K citations

    24

    h-index

  3. Information and Computation

    32 publications · 3.3K citations

    23

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 23 publications · 1.6K citations

    19

    h-index

  5. BRICS Report Series

    25 publications · 497 citations

    15

    h-index

1–5