Linking Theories of Concurrency
Jifeng He and C. A. R. Hoare
Book Title
Theoretical Aspects of Computing − ICTAC 2005‚ Second International Colloquium‚ Hanoi‚ Vietnam‚ October 17−21‚ 2005‚ Proceedings
Editor
Dang Van Hung and Martin Wirsing
Pages
303−317
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3722
Year
2005