论文信息 - IOA: A Language for Specifying, Programming, and Validating Distributed Systems Draft - 字舞流文

IOA: A Language for Specifying, Programming, and Validating Distributed Systems Draft

Nancy A. Lynch | Stephen J. Garland | N. Lynch | S. Garland

[1] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .

[2] N. Shankar,et al. Pvs: Combining Speciication, Proof Checking, and Model Checking ? 1 Combining Theorem Proving and Typechecking , 1996 .

[3] Nancy A. Lynch,et al. Computer-Assisted Simulation Proofs , 1993, CAV.

[4] Stephen J. Garland,et al. Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[5] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .

[6] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[7] Jean-Pierre Banâtre,et al. Parallel Program Design , 1991, Research Directions in High-Level Parallel Programming Languages.

[8] Stephen J. Garland,et al. A Guide to LP, The Larch Prover , 1991 .

[9] Michel Bidoit. Pluss, un langage pour le développement de spécifications algébriques modulaires , 1989 .

[10] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.

[11] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[12] Mitchell Wand,et al. Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..