In this paper we present a branching time temporal logic for Basic Process Algebra. This logic is an enrichment of the branching temporal logic CTL with a branching sequential composition operator, namled chop branching. The logic so obtained is proved to be expressive with respect to the bisimulation semantics delined on BPA_?rec terms, and is able to describe context-free properties of systems.
An expressive logic for basic process algebra
Fantechi A;Gnesi S;
1993
Abstract
In this paper we present a branching time temporal logic for Basic Process Algebra. This logic is an enrichment of the branching temporal logic CTL with a branching sequential composition operator, namled chop branching. The logic so obtained is proved to be expressive with respect to the bisimulation semantics delined on BPA_?rec terms, and is able to describe context-free properties of systems.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_412833-doc_145335.pdf
solo utenti autorizzati
Descrizione: An expressive logic for basic process algebra
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.12 MB
Formato
Adobe PDF
|
2.12 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.
