DMCA
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
by
Pietro Di Gianantonio
,
Furio Honsell
,
Marina Lenisa
| Citations: | 2 - 1 self |
BibTeX
@MISC{Gianantonio_finitelybranching,
author = {Pietro Di Gianantonio and Furio Honsell and Marina Lenisa},
title = {Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi },
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We investigate Leifer-Milner RPO approach for CCS and π-
