Algebra of concurrent design
Tony Hoare
Book Title
Formal Methods in Computer−Aided Design‚ FMCAD 2012‚ Cambridge‚ UK‚ October 22−25‚ 2012
Editor
Gianpiero Cabodi and Satnam Singh
Pages
5
Publisher
IEEE
Year
2012
Tony Hoare