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:

Data types as lattices : retractions, closures and projections

Luis E. Sanchis

RAIRO. Inform. théor., 11 4 (1977) 329-344

Published online: 2017-02-01

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

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

Fundamental Approaches to Software Engineering

Françoise Bellegarde, Jacques Julliand and Olga Kouchnarenko
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 1783 266 (2000)
https://doi.org/10.1007/3-540-46428-X_19

Closures on CPOs Form Complete Lattices

Francesco Ranzato
Information and Computation 152 (2) 236 (1999)
https://doi.org/10.1006/inco.1999.2801

Property preserving abstractions for the verification of concurrent systems

C. Loiseaux, S. Graf, J. Sifakis, et al.
Formal Methods in System Design 6 (1) 11 (1995)
https://doi.org/10.1007/BF01384313

Meeting of the Association for Symbolic Logic

Xavier Caicedo, Rolando Chuaqui, Newton C. A. Da Costa and Carlos A. Di Prisco
Journal of Symbolic Logic 49 (4) 1430 (1984)
https://doi.org/10.2307/2274305

Bibliography on Abstract Data Types

B. Kutzler and F. Lichtenberger
Informatik-Fachberichte, Bibliography on Abstract Data Types 68 5 (1983)
https://doi.org/10.1007/978-3-642-69032-7_2

Global and local invariants in transition systems

Joseph Sifakis
Information and Control 53 (1-2) 91 (1982)
https://doi.org/10.1016/S0019-9958(82)91167-6

Automata, Languages and Programming

Joseph Sifakis
Lecture Notes in Computer Science, Automata, Languages and Programming 140 510 (1982)
https://doi.org/10.1007/BFb0012796

Reducibilities in two models for combinatory logic

Luis E. Sanchis
Journal of Symbolic Logic 44 (2) 221 (1979)
https://doi.org/10.2307/2273730