CCSP: A formal system for distributed program debugging

zbMath0925.68074MaRDI QIDQ1272075

Bruce McMillin, Beth Arrowsmith

Publication date: 23 November 1998

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Automatic generation of verified concurrent hardware using VHDL ⋮ CCSP

This page was built for publication: CCSP: A formal system for distributed program debugging