Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Nondeterminism and fully abstract models

Egidio Astesiano, Gerardo Costa

RAIRO. Inform. théor., 14 4 (1980) 323-347

Published online: 2017-02-01

DOI: https://doi.org/10.1051/ita/1980140403231

This article has been cited by the following article(s):

Observational program calculi and the correctness of translations

Manfred Schmidt-Schauß, David Sabel, Joachim Niehren and Jan Schwinghammer
Theoretical Computer Science 577 98 (2015)
https://doi.org/10.1016/j.tcs.2015.02.027

The origins of structural operational semantics

Gordon D Plotkin
The Journal of Logic and Algebraic Programming 60-61 3 (2004)
https://doi.org/10.1016/j.jlap.2004.03.009

A Filter Model for Concurrent $\lambda$-Calculus

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro and Adolfo Piperno
SIAM Journal on Computing 27 (5) 1376 (1998)
https://doi.org/10.1137/S0097539794275860

Distributive semantics for nondeterministic typed λ-calculi

Egidio Astesiano and Gerardo Costa
Theoretical Computer Science 32 (1-2) 121 (1984)
https://doi.org/10.1016/0304-3975(84)90027-6