Quote: used detailed, hierarchical proofs since theorems about concurrent system specifications are difficult to get right

Quotation Skeleton

This appendix contains the proofs of all propositions … The proofs have been carried out to an … that we have given long, tedious proofs of … discovered to be wrong only by trying to … Without these detailed proofs, we would have little …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: proving concurrent programs (37 items)