The aim of this paper is to examine some basic topics of true concurrency from the viewpoint of program bgics. 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.
Observational logics and concurrency models
De Nicola R;
1990
Abstract
The aim of this paper is to examine some basic topics of true concurrency from the viewpoint of program bgics. 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.File | Dimensione | Formato | |
---|---|---|---|
prod_453257-doc_171787.pdf
non disponibili
Descrizione: Observational logics and concurrency models
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.95 MB
Formato
Adobe PDF
|
1.95 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.