Concepedia

Bisimulation Analysis

Bisimulation Analysis is a formal method used in protocol verification to establish behavioral equivalence between two systems by identifying a bisimulation relation that ensures corresponding states in each system exhibit matching transitions and observables.

483

Publications

19.7K

Citations

626

Authors

322

Institutions

Publications per year

2017–2026

57

Parents

Publications

483

Branching time and abstraction in bisimulation semantics

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

, , +12

Approximation Metrics for Discrete and Continuous Systems

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

, , +17

Specification and refinement of probabilistic processes

Bengt Jönsson, Kim G. Larsen · 2002 · 343 citations

, , +17

Bisimulation for Labelled Markov Processes

Information and Computation · 2002 · 307 citations

, , +13

Probabilistic noninterference for multi-threaded programs

Andrei Sabelfeld, David Sands · 2002 · 306 citations

, , +14

1–5 of 483

Authors

626

  1. LA
    Luca Aceto

    Aalborg University, Denmark

    12 publications · 340 citations

    11

    h-index

  2. MH
    Matthew Hennessy

    University of Sussex, United Kingdom

    10 publications · 588 citations

    10

    h-index

  3. PP
    Prakash Panangaden

    McGill University, Canada

    9 publications · 570 citations

    10

    h-index

  4. DP
    Damien Pous

    École Normale Supérieure de Lyon, France

    9 publications · 361 citations

    9

    h-index

  5. GJ
    George J. Pappas

    University of Pennsylvania, United States

    9 publications · 1.1K citations

    9

    h-index

1–5 of 626

Institutions

322

  1. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    17 h-index

    33 publications

    3.1K citations

  2. University of Sussex

    Brighton, United Kingdom

    17 h-index

    36 publications

    1.7K citations

  3. Aalborg University

    Aalborg, Denmark

    14 h-index

    29 publications

    1.3K citations

  4. Eindhoven University of Technology

    Eindhoven, The Netherlands

    14 h-index

    37 publications

    937 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    20 publications

    857 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    13 h-index

    20 publications

    1.4K citations

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

    Le Chesnay-Rocquencourt, France

    13 h-index

    22 publications

    904 citations

  8. Aarhus University

    Aarhus, Denmark

    13 h-index

    23 publications

    712 citations

1–8 of 322

Venues

  1. Theoretical Computer Science

    26 publications · 1.2K citations

    19

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 39 publications · 955 citations

    18

    h-index

  3. Information and Computation

    22 publications · 1.3K citations

    15

    h-index

  4. Mathematical Structures in Computer Science

    MSCS · 13 publications · 749 citations

    13

    h-index

  5. BRICS Report Series

    12 publications · 231 citations

    11

    h-index

1–5