Concepedia

Mailbox Semantics

Mailbox Semantics is a formal messaging model within asynchronous message passing systems wherein each process maintains a private queue that receives and buffers messages sent to it, thereby enforcing an ordered, decoupled, and location-transparent interaction pattern between concurrent components.

10

Publications

365

Citations

19

Authors

11

Institutions

Publications per year

2017–2026

2

Parents

Publications

10

1–5 of 10

Authors

19

  1. SS
    Simon Scerri

    University of Bonn, Germany

    2 publications · 35 citations

    2

    h-index

  2. SH
    Siegfried Handschuh

    Ollscoil na Gaillimhe – University of Galway, Ireland

    2 publications · 35 citations

    2

    h-index

  3. AF
    Alain Finkel

    École Normale Supérieure Paris-Saclay, France

    2 publications · 31 citations

    2

    h-index

  4. ÉL
    Étienne Lozes

    Laboratoire Spécification et Vérification, France

    2 publications · 31 citations

    2

    h-index

  5. BD
    Brian Davis

    Ollscoil na Gaillimhe – University of Galway, Ireland

    2 publications · 35 citations

    2

    h-index

1–5 of 19

Institutions

11

  1. Ollscoil na Gaillimhe – University of Galway

    Galway, Ireland

    2 h-index

    5 publications

    95 citations

  2. Columbia University

    New York, United States

    1 h-index

    2 publications

    28 citations

  3. Rice University

    Houston, United States

    1 h-index

    2 publications

    34 citations

  4. Laboratoire Spécification et Vérification

    Cachan, France

    1 h-index

    2 publications

    36 citations

  5. Centre de Gestion Scientifique

    Paris, France

    1 h-index

    1 publications

    13 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    13 citations

  7. Université Paris-Saclay

    Gif-sur-Yvette, France

    1 h-index

    1 publications

    13 citations

  8. University of Washington

    Seattle, United States

    1 h-index

    3 publications

    51 citations

1–8 of 11

Venues

  1. Logical Methods in Computer Science

    LMCS · 1 publications · 13 citations

    1

    h-index

  2. Journal of Web Semantics

    1 publications · 17 citations

    1

    h-index

  3. arXiv (Cornell University)

    Repository · 1 publications · 18 citations

    1

    h-index

1–3