We investigate Leifer-Milner RPO approach for CCS and π-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
DI GIANANTONIO, Pietro;HONSELL, Furio;LENISA, Marina
2009-01-01
Abstract
We investigate Leifer-Milner RPO approach for CCS and π-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
wadt08.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Non pubblico
Dimensione
268.24 kB
Formato
Adobe PDF
|
268.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
