Causal reasoning about distributed programs
We present an integrated approach to the specification, verification and testing of distributed programs. We show how "global" properties defined by transition axiom specifications can be interpreted as definitions of causal relationships between process states. We explain why reasoning ab...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
W&M ScholarWorks
1991
|
| Subjects: | |
| Online Access: | https://scholarworks.wm.edu/etd/1539623806 https://scholarworks.wm.edu/cgi/viewcontent.cgi?article=3716&context=etd |