Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Clarke E.M., Emerson E.A., Sistla A.P., Automatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications, TOPLAS, vol. 8(1986), pp. 244–263.
2. Dijkstra E.W., Finding the Correctness Proof of a Concurrent Program, Proc. Kononklijke Ned. Ak. van Wetenschappen, vol. 81(2), 1978.
3. Hillen D., Adequacy-preserving Substitution and Reduction Rules, Report ASM/108, Computing Laboratory, The University of Newcstle upon Tyne, 1983.
4. Hennessy M., Milner R., Algebraic Laws for Nondeterminism and Concurrency, JACM, vol. 32(1985), pp. 137–161.
5. Koutny M., A Note on Adequacy-preserving Transformations of Path Programs, Report ARM/86, Computing Laboratory, The University of Newcstle upon Tyne, 1987.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献