Author:
Meseguer José,Roşu Grigore
Subject
General Computer Science,Theoretical Computer Science
Reference95 articles.
1. Rewriting logic as a metalogical framework;Basin,2000
2. Gilles Bernot and Michel Bidoit. Proving correctness of algebraically specified software: Modularity and observability issues. In Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, pages 139–161, Iowa City, Iowa, May 1991. The University of Iowa, Department of Computer Science.
3. Gilles Bernot, Michel Bidoit, and Teodor Knapik. Towards an adequate notion of observation. I Bernd Krieg-Bruckner, editor, ESOP '92, 4th European Symposium on Programming, Rennes, France, February 1992, Proceedings, volume 582 of Lecture Notes in Computer Science, pages 39–55. Springer-Verlag, New York, NY, 1992.
4. Gilles Bernot, Michel Bidoit, and Teodor Knapik. Observational specifications and the indistinguishability assumption. Theoretical Computer Science, 139(12):275–314, 1995. Submitted in 1992.
5. Narjes Berregeb, Adel Bouhoula, and Michaël Rusinowitch. Observational proofs with critical contexts. In Fundamental Approaches to Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 38–53. Springer-Verlag, 1998.