Proving Entailment Between Conceptual State Specifications
暂无分享,去创建一个
[1] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[2] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..
[3] Brent Hailpern,et al. Verifying network protocols using temporal logic , 1980 .
[4] Akinori Yonezawa. Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics. , 1977 .
[5] Nancy A. Lynch,et al. Concurrency control for resilient nested transactions , 1983, PODS '83.
[6] Leslie Lamport,et al. Specifying Concurrent Program Modules , 1983, TOPL.
[7] Cliff B. Jones,et al. Developing methods for computer programs including a notion of interference , 1981 .
[8] Eugene W. Stark. Proving Entailment Between Conceptual State Specifications , 1986, ESOP.
[9] P. M. Melliar-Smith,et al. Temporal Logic Specification of Distributed Systems , 1981, ICDCS.
[10] Z. Manna,et al. Verification of concurrent programs: a temporal proof system , 1983 .
[11] HorowitzEllis,et al. Abstract data types and software validation , 1978 .
[12] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[13] E. W. Stark. FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS , 1984 .
[14] Amir Pnueli,et al. Now you may compose temporal logic specifications , 1984, STOC '84.
[15] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[16] Ellis Horowitz,et al. Abstract data types and software validation , 1978, CACM.
[17] Jeffrey D. Ullman,et al. Principles of Database Systems , 1980 .
[18] J. Goree. INTERNAL CONSISTENCY OF A DISTRIBUTED TRANSACTION SYSTEM WITH ORPHAN DETECTION , 1983 .