|
|||||
|
|
DUALITY: A simple formalism for the analysis of UNITY |
|
| Authors: | Rutger M Dijkstra |
| Affiliation: | (1) Department of Computing Science, University of Groningen, PO Box 800, 9700 AV Groningen, The Netherlands |
| Abstract: | |
| Keywords: | UNITY logic Predicate transformer semantics Demonic and angelic nondeterminism |
| 本文献已被 SpringerLink 等数据库收录！ | |