Concepedia

Observational Equivalence

Observational Equivalence is an equivalence relation in theoretical computer science and programming language semantics that identifies programs or expressions if they exhibit identical observable behaviors under all possible contexts.

167

Publications

10.1K

Citations

304

Authors

196

Institutions

Publications per year

2017–2026

20

Parents

Publications

167

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

, , +15

Toward a Structural Understanding of Coup Risk

Aaron Belkin, Evan Schofer · Journal of Conflict Resolution · 2003 · 453 citations

, , +15

Symbolic model checking: 10/sup 20/ states and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · 2002 · 304 citations

, , +16

Verifying privacy-type properties of electronic voting protocols

Stéphanie Delaune, Steve Kremer, Mark Ryan · Journal of Computer Security · 2009 · 289 citations

, , +14

The Observational Equivalence of Natural and Unnatural Rate Theories of Macroeconomics

Thomas J. Sargent · Journal of Political Economy · 1976 · 283 citations

, , +12

1–5 of 167

Authors

304

  1. MB
    M. Blume

    Centre National de la Recherche Scientifique, France

    4 publications · 230 citations

    4

    h-index

  2. SD
    Stéphanie Delaune

    Centre National de la Recherche Scientifique, France

    4 publications · 536 citations

    4

    h-index

  3. AA
    Amal Ahmed

    Northeastern University, United States

    4 publications · 230 citations

    4

    h-index

  4. SK
    Steve Kremer

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

    4 publications · 546 citations

    4

    h-index

  5. RS
    Ralf Sasse

    ETH Zurich, Switzerland

    3 publications · 126 citations

    3

    h-index

1–5 of 304

Institutions

196

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

    Le Chesnay-Rocquencourt, France

    14 h-index

    21 publications

    1.9K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    12 h-index

    20 publications

    1.4K citations

  3. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    9 publications

    3.3K citations

  4. University of Oxford

    Oxford, United Kingdom

    5 h-index

    6 publications

    147 citations

  5. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    5 h-index

    8 publications

    1.1K citations

  6. University of Cambridge

    Cambridge, United Kingdom

    5 h-index

    6 publications

    177 citations

  7. University of Hong Kong

    Pok Fu Lam, Hong Kong

    5 h-index

    6 publications

    506 citations

  8. Stanford University

    Stanford, United States

    5 h-index

    11 publications

    915 citations

1–8 of 196

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 11 publications · 331 citations

    10

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 6 publications · 328 citations

    6

    h-index

  3. Journal of Computer Security

    5 publications · 380 citations

    5

    h-index

  4. Econometrica

    5 publications · 539 citations

    5

    h-index

  5. Theoretical Computer Science

    5 publications · 91 citations

    5

    h-index

1–5