Concepedia

Strong Bisimulation

Strong Bisimulation is a binary relation between states in a labelled transition system that belongs to the class of behavioural equivalences, differing from its siblings by requiring every action and resulting state transition of one process to be matched identically by the other, including silent or internal actions, thereby preserving the branching structure of computations without abstraction.

151

Publications

7.6K

Citations

256

Authors

156

Institutions

Publications per year

2017–2026

12

Parents

Publications

151

Branching time and abstraction in bisimulation semantics

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

, , +12

Structured operational semantics and bisimulation as a congruence

Jan Friso Groote, Frits Vaandrager · Information and Computation · 1992 · 332 citations

, , +17

Bisimulation from Open Maps

André Joyal, Mogens Nielsen, Glynn Winskel · Information and Computation · 1996 · 269 citations

, , +12

Proving Congruence of Bisimulation in Functional Programming Languages

Douglas J. Howe · Information and Computation · 1996 · 254 citations

, , +11

Hybrid logics: characterization, interpolation and complexity

Carlos Areces, Patrick Blackburn, M. Marx · Journal of Symbolic Logic · 2001 · 213 citations

, , +15

1–5 of 151

Authors

256

  1. LA
    Luca Aceto

    Aalborg University, Denmark

    7 publications · 241 citations

    7

    h-index

  2. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    7 publications · 500 citations

    7

    h-index

  3. MN
    Mogens Nielsen

    Aarhus University, Denmark

    5 publications · 369 citations

    5

    h-index

  4. PJ
    Petr Jančar

    VSB - Technical University of Ostrava, Czechia

    4 publications · 152 citations

    4

    h-index

  5. FV
    Frits Vaandrager

    Radboud University Nijmegen, Netherlands

    4 publications · 509 citations

    4

    h-index

1–5 of 256

Institutions

156

  1. Aarhus University

    Aarhus, Denmark

    11 h-index

    18 publications

    1.1K citations

  2. University of Sussex

    Brighton, United Kingdom

    8 h-index

    12 publications

    580 citations

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

    Le Chesnay-Rocquencourt, France

    7 h-index

    9 publications

    380 citations

  4. University of Amsterdam

    Amsterdam, The Netherlands

    6 h-index

    8 publications

    565 citations

  5. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    6 h-index

    11 publications

    2.2K citations

  6. University of Pennsylvania

    Philadelphia, United States

    6 h-index

    11 publications

    532 citations

  7. University of Warsaw

    Warsaw, Poland

    5 h-index

    8 publications

    113 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    5 h-index

    7 publications

    218 citations

1–8 of 156

Venues

  1. Information and Computation

    16 publications · 1.3K citations

    13

    h-index

  2. Theoretical Computer Science

    13 publications · 841 citations

    12

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 171 citations

    9

    h-index

  4. BRICS Report Series

    5 publications · 101 citations

    5

    h-index

  5. Information Processing Letters

    4 publications · 108 citations

    4

    h-index

1–5