Buscar
Mostrando ítems 1-1 de 1
Ponencia
A Technique for Distributed Systems Specification
(IEEE Computer Society, 1995)
In this paper we show how an object-oriented specification language is usefvl for the specification of distributed systems. The main constructors in this language are the objects. An object consists of a state, a behaviour ...