Composing specifications
暂无分享,去创建一个
[1] Martín Abadi,et al. The existence of refinement mappings , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[2] Leslie Lamport,et al. Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .
[3] K. Mani Chandy,et al. Proofs of Networks of Processes , 1981, IEEE Transactions on Software Engineering.
[4] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[5] Leslie Lamport,et al. Specifying Concurrent Program Modules , 1983, TOPL.
[6] Leslie Lamport. Solved problems, unsolved problems and non-problems in concurrency , 1985, OPSR.
[7] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[8] Amir Pnueli,et al. In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.
[9] Leslie Lamport,et al. The ``Hoare Logic'' of CSP, and All That , 1984, TOPL.
[10] Eugene W. Stark,et al. A Proof Technique for Rely/Guarantee Properties , 1985, FSTTCS.
[11] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[12] A. Udaya Shankar,et al. Protocol Verification via Projections , 1984, IEEE Transactions on Software Engineering.
[13] Frank Thomson Leighton,et al. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits , 1988 .
[14] Leslie Lamport,et al. What Good is Temporal Logic? , 1983, IFIP Congress.
[15] Grzegorz Rozenberg,et al. Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.
[16] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[17] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[18] Martín Abadi,et al. Realizable and Unrealizable Specifications of Reactive Systems , 1989, ICALP.
[19] Zohar Manna,et al. A Hierarchy of Temporal Properties (Abstract). , 1987, PODC 1987.
[20] J. Swanson,et al. On the D-Thesis , 1967, Philosophy of Science.
[21] David L. Dill,et al. Trace theory for automatic hierarchical verification of speed-independent circuits , 1989, ACM distinguished dissertations.
[22] Amir Pnueli,et al. A really abstract concurrent model and its temporal logic , 1986, POPL '86.
[23] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[24] E. W. Stark. FOUNDATIONS OF A THEORY OF SPECIFICATION FOR DISTRIBUTED SYSTEMS , 1984 .