Sciweavers

SAJ
2000

A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes

13 years 11 months ago
A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes
Vashti Galpin
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where SAJ
Authors Vashti Galpin
Comments (0)