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