Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Ferrari G. L. Observational logics and true concurrency. In: 3rd Italian Conference on Theoretical Computer Science (Mantova, Italia, 2-4 November 1989). Atti, pp. 212 - 223. A. Bertoni, C. Bohn and P. Miglioli (eds.). World Scientific, 1990.
We introduce two observational logics lor reasoning about Distributed Transition Systems (DTS). These logics characterize different classes of properties of DTS computations. The first logic, LߜD, is a straightforward generalization of Hennessy-Milner Logic obtained by allowing modalities indexed by partial ordering observations; it is in full agreement with a computationally defined observational equivalence for true concurrency. The second logic, Lߜp, has as a distinctive feature a past operator which appears co be crucial for adequately describing the interplay of concurrency and nondeterminism. A deeper understanding of Lߜp is gained by showing that it induces on DTS the same identification of another observational semantics.

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