The Steam Boiler in a Unified Theory of Z and CSP.

Jim Woodcock, Ana Cavalcanti

Browse the full APSEC paper archive.