| 
|
QuoteRef: schnFB4_1998
topics >
all references >
ThesaHelp:
ACM references m-z
ThesaHelp:
references sa-sz
Topic:
safety, liveness, and system properties
Topic:
proving concurrent programs
Reference
Schneider, F.B., "On concurrent programming", Communications of the ACM, 40, 4, April 1998, pp. 128. Google
128 ;;Quote: for concurrent programming, prove that bad things can't happen and good things do; i.e., an expression of the program's variables; avoids process interleavings
ThesaHelp: ACM references m-z (280 items)
ThesaHelp: references sa-sz (237 items)
Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)