| 
|
Quote: transition-axiom method for proving concurrent systems combines abstract programs and temporal logic; rules for implementation and composition
topics >
all references >
references a-b >
Topic:
proving concurrent programs
Quotation Skeleton
In the transition-axiom method, concurrent systems are specified … [Lamport Comm. ACM Jan 89]. … In [Abadi and Lamport, Theor. Comp. Sci. May 1991], we described how to prove that … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)