Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G. Compositionality and bisimulation : a negative result. In: Information Processing Letters, vol. 39 pp. 109 - 114. North-Holland, 1991.
In the last years there have been several attempts at defining new logics or at using existing ones to specify properties of reactive and concurrent systems. The gain of associating suitable logics, such as modal or temporal logics, to communicating systems is the possibility of using deductive methods to prove properties. To provide modularity in the specification and verification of concurrent systems the compositional denotation by logic assertions of concurrent systems, specified by a process algebra like CCS, becomes an important research issue.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional