Rapport de recherche n° 2000-02


Auteur : Dominique Duval & Christian Lair

Titre : Mosaics for Specifications with Implicit State

Nbre de pages : 17

Documents : Article (PDF)

Abstract:  In this paper, we develop a new framework for algebraic specifications with implicit state. Among other results, this bridges the gap between specifications with implicit state and with explicit state.


Retour à la liste des rapports