Logo eprints

Observational Logics and Concurrency Models

De Nicola, Rocco and Ferrari, GianLuigi Observational Logics and Concurrency Models. In: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990). Lecture Notes in Computer Science, 472 . Springer, pp. 301-315. ISBN 3-540-53487-3 (1990)

Full text not available from this repository.


The aim of this paper is to examine some basic topics of true concurrency from the viewpoint of program logics. In particular, logical characterizations of observational (bisimulation) equivalences based on partial ordering observations are studied. To date, in contrast with the interleaving approach, such equivalences have been almost exclusively studied from the operational standpoint. We shall show that they can be defined in a logical setting and that standard modal and temporal techniques can also be applied to true concurrency models. As a result, the interleaving and the partial ordering views of concurrency are reconciled within a logical setting.

Item Type: Book Section
Identification Number: 10.1007/3-540-53487-3_53
Funders: Research partially supported by Esprit Basic Research Action Program, Project 3011 CEDISYS, and by Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, Project LAMBRUSCO.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 13 Jun 2011 09:04
Last Modified: 15 Jan 2014 10:33
URI: http://eprints.imtlucca.it/id/eprint/377

Actions (login required)

Edit Item Edit Item