Factorizing proofs in timed CSP

• 31 December 1988
• book chapter
• Published by Springer Nature
• p. 129-159
• https://doi.org/10.1007/bfb0040256

Abstract

Keywords

• INFERENCE RULE
• PARALLEL OPERATOR
• PROCESS ALGEBRA
• SEMANTIC FUNCTION
• PROOF OBLIGATION