Call Semantics is a computational model that specifies the expected behavior and outcome guarantees of a remote procedure call, distinguished from other communication semantics by its focus on the logical equivalence between local and remote function invocation, including properties such as at-most-once, at-least-once, or exactly-once execution.
72
Publications
3.2K
Citations
136
Authors
75
Institutions
Publications per year
2017–2026
5
Parents
Publications
72
A call-by-need lambda calculus
Zena M. Ariola, John Maraist, Martin Odersky et al. · 1995 · 248 citations
1–5 of 72
Authors
136
- PW
3
h-index
- JG
3
h-index
- JM
3
h-index
- MO
3
h-index
- GH
2
h-index
1–5 of 136
Institutions
75
Aarhus University
Aarhus, Denmark
5 h-index
7 publications
240 citations
University of Birmingham
Birmingham, United Kingdom
3 h-index
4 publications
370 citations
University of Glasgow
Glasgow, United Kingdom
3 h-index
4 publications
339 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
2 h-index
3 publications
42 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
2 h-index
4 publications
576 citations
University of Arizona
Tucson, United States
2 h-index
4 publications
84 citations
University of Oregon
Eugene, United States
2 h-index
2 publications
258 citations
Rice University
Houston, United States
2 h-index
2 publications
274 citations
1–8 of 75
Venues
- Theoretical Computer Science
4 publications · 162 citations
4
h-index
- Information and Computation
3 publications · 180 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 3 publications · 83 citations
3
h-index
- LISP and Symbolic Computation
3 publications · 132 citations
2
h-index
- International Conference on Distributed Computing Systems
Conference · 2 publications · 50 citations
2
h-index
1–5