Concepedia

Distributed Systems Semantics

Distributed Systems Semantics is a formal framework that specifies the meaning and behavior of message ordering primitives in distributed computations by defining the constraints and observable effects of message delivery across spatially separated, concurrently executing components.

408

Publications

20.9K

Citations

811

Authors

316

Institutions

Publications per year

2017–2026

27

Parents

Publications

408

Generative communication in Linda

David Gelernter · ACM Transactions on Programming Languages and Systems · 1985 · 2.3K citations · Full text

, , +14

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

, , +11

Fine-grained mobility in the Emerald system

Eric Jul, Henry M. Levy, Norman C. Hutchinson et al. · ACM Transactions on Computer Systems · 1988 · 733 citations · Full text

, , +13

A foundation for actor computation

Gul Agha, Ian A. Mason, Scott F. Smith et al. · Journal of Functional Programming · 1997 · 452 citations · Full text

, , +15

A language with distributed scope

Luca Cardelli · 1995 · 392 citations · Full text

, , +16

1–5 of 408

Authors

811

  1. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    7 publications · 200 citations

    7

    h-index

  2. GA
    Gul Agha

    University of Illinois Urbana-Champaign, United States

    7 publications · 757 citations

    7

    h-index

  3. JY
    Joseph Y. Halpern

    Cornell University, United States

    7 publications · 507 citations

    7

    h-index

  4. RV
    Ron van der Meyden

    UNSW Sydney, Australia

    6 publications · 224 citations

    6

    h-index

  5. NF
    Nissim Francez

    Technion – Israel Institute of Technology, Israel

    6 publications · 341 citations

    6

    h-index

1–5 of 811

Institutions

316

  1. University of Bologna

    Bologna, Italy

    13 h-index

    33 publications

    914 citations

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

    Le Chesnay-Rocquencourt, France

    12 h-index

    25 publications

    599 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    12 h-index

    24 publications

    1.5K citations

  4. Imperial College London

    London, United Kingdom

    11 h-index

    19 publications

    436 citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    10 h-index

    24 publications

    1.1K citations

  6. University of Pisa

    Pisa, Italy

    10 h-index

    16 publications

    920 citations

  7. Cornell University

    Ithaca, United States

    10 h-index

    14 publications

    437 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    9 h-index

    17 publications

    761 citations

1–8 of 316

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 21 publications · 476 citations

    13

    h-index

  2. 10

    h-index

  3. Theoretical Computer Science

    9 publications · 497 citations

    9

    h-index

  4. Distributed Computing

    7 publications · 342 citations

    7

    h-index

  5. ACM SIGOPS Operating Systems Review

    5 publications · 127 citations

    5

    h-index

1–5