Verification of concurrent programs: A temporal proof system. (English) Zbl 0507.68005
Foundations of computer science IV. Distributed systems. Part 2: Semantics and logic, Math. Cent. Tracts 159, 163-255 (1983).
MSC:
68Q60 | Specification and verification (program logics, model checking, etc.) |
03B45 | Modal logic (including the logic of norms) |