Sciweavers

CORR
2008
Springer

On convergence-sensitive bisimulation and the embedding of CCS in timed CCS

13 years 11 months ago
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS
Roberto M. Amadio
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Roberto M. Amadio
Comments (0)