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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
