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.