Defining Liveness
暂无分享,去创建一个
[1] Leslie Lamport,et al. The ``Hoare Logic'' of CSP, and All That , 1984, TOPL.
[2] N. S. Barnett,et al. Private communication , 1969 .
[3] Zohar Manna,et al. Verification of Concurrent Programs: Proving Eventualities by Well-Founded Ranking, , 1982 .
[4] Michael B. Smyth,et al. Power Domains and Predicate Transformers: A Topological View , 1983, ICALP.
[5] A. Prasad Sistla,et al. On characterization of safety and liveness properties in temporal logic , 1985, ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing.
[6] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[7] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.