Concepedia

Protocol Equivalence

Protocol Equivalence is a formal relation in protocol verification that belongs to the class of semantic comparison methods, differentiating itself by establishing that two communication protocols exhibit identical input-output behaviors and state transitions under all possible execution contexts.

45

Publications

1.6K

Citations

162

Authors

119

Institutions

Publications per year

2017–2026

7

Parents

Publications

45

A randomised, double-blind, phase III study comparing SB2, an infliximab biosimilar, to the infliximab reference product Remicade in patients with moderate to severe rheumatoid arthritis despite methotrexate therapy

Jung‐Yoon Choe, Nenad Prodanović, Jaroslaw Niebrzydowski et al. · Annals of the Rheumatic Diseases · 2015 · 166 citations · Full text

, , +17

Verification of multiprocess probabilistic protocols

Amir Pnueli, Lenore D. Zuck · Distributed Computing · 1986 · 121 citations

, , +12

HELOISE: Phase IIIb Randomized Multicenter Study Comparing Standard-of-Care and Higher-Dose Trastuzumab Regimens Combined With Chemotherapy as First-Line Therapy in Patients With Human Epidermal Growth Factor Receptor 2–Positive Metastatic Gastric or Gastroesophageal Junction Adenocarcinoma

Manish A. Shah, Rui‐Hua Xu, Yung‐Jue Bang et al. · Journal of Clinical Oncology · 2017 · 117 citations

, , +17

Prevention of Deep Vein Thrombosis after Hip Replacement

M Samama, Anthonie W.A. Lensing, Harry Büller et al. · Thrombosis and Haemostasis · 1999 · 92 citations · Full text

, , +17

Testing Equivalence for Mobile Processes

Michele Boreale, R. Denicola · Information and Computation · 1995 · 90 citations

, , +5

1–5 of 45

Authors

162

  1. BB
    Bruno Blanchet

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

    3 publications · 56 citations

    3

    h-index

  2. JC
    John C. Mitchell

    Stanford University, United States

    2 publications · 90 citations

    2

    h-index

  3. SB
    Sami Bhiri

    Ollscoil na Gaillimhe – University of Galway, Ireland

    2 publications · 25 citations

    2

    h-index

  4. SS
    Simon S. Lam

    The University of Texas at Austin, United States

    2 publications · 31 citations

    2

    h-index

  5. VT
    Vanessa Teague

    The University of Melbourne, Australia

    2 publications · 90 citations

    2

    h-index

1–5 of 162

Institutions

119

  1. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    16 publications

    386 citations

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

    Le Chesnay-Rocquencourt, France

    5 h-index

    5 publications

    116 citations

  3. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    4 h-index

    4 publications

    98 citations

  4. Samsung (South Korea)

    Seoul, South Korea

    3 h-index

    6 publications

    504 citations

  5. Département d'Informatique

    Paris, France

    2 h-index

    3 publications

    39 citations

  6. Institute of Computing Technology

    Beijing, China

    2 h-index

    2 publications

    25 citations

  7. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    3 publications

    60 citations

  8. Institute of Rheumatology

    Prague, Czechia

    2 h-index

    2 publications

    234 citations

1–8 of 119

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 119 citations

    4

    h-index

  2. Journal of Computer Security

    3 publications · 65 citations

    3

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 44 citations

    2

    h-index

  4. Distributed Computing

    2 publications · 159 citations

    2

    h-index

  5. Journal of Clinical Oncology

    2 publications · 135 citations

    2

    h-index

1–5