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