In this paper we present a denotational semantics for Basic Process Algebra. The denotational domain is a new logic obtained by enrichiching the branching temporal logic CTL with a fixed point operator and a branching sequential composition operator, named chop bmnching. The temporal semantics so obtained is proved to be fully abstract with respect to the bisimulation sernantics defined on BPA terms.
A temporal semantics for basic process algebra
Fantechi A;Gnesi S;
1992
Abstract
In this paper we present a denotational semantics for Basic Process Algebra. The denotational domain is a new logic obtained by enrichiching the branching temporal logic CTL with a fixed point operator and a branching sequential composition operator, named chop bmnching. The temporal semantics so obtained is proved to be fully abstract with respect to the bisimulation sernantics defined on BPA terms.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_413941-doc_145757.pdf
accesso aperto
Descrizione: A temporal semantics for basic process algebra
Dimensione
1.64 MB
Formato
Adobe PDF
|
1.64 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
