Skip to content

Algebra of concurrent design.

Tony Hoare

VenueBFMCAD
Year2012
ProceedingsFMCAD

Browse the full FMCAD paper archive.