Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Ristori G. Compositionality and bisimulation. Internal note IEI-B4-33, 1990.
This paper presents some results on the limits of applying a temporal semantics approach to CCS like language. This semantics is defined using a compositional approach, to provide modularity in the verification process, by which it is possible to associate a CTL ∆* formula to each language construct. We show that such semantics cannot reach the discriminating power of bisimulation for CCS.

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