This paper presents some results on the limits of applying a temporal semantics approach to CCS like language. This semantics is defined using a compositional approach, to provide modularity in the verification process, by which it is possible to associate a CTL ?* formula to each language construct. We show that such semantics cannot reach the discriminating power of bisimulation for CCS.
Compositionality and bisimulation
Fantechi A;Gnesi S;
1990
Abstract
This paper presents some results on the limits of applying a temporal semantics approach to CCS like language. This semantics is defined using a compositional approach, to provide modularity in the verification process, by which it is possible to associate a CTL ?* formula to each language construct. We show that such semantics cannot reach the discriminating power of bisimulation for CCS.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_453036-doc_171269.pdf
accesso aperto
Descrizione: Compositionality and bisimulation
Dimensione
1.9 MB
Formato
Adobe PDF
|
1.9 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
