Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
暂无分享,去创建一个
[1] Gregor von Bochmann,et al. Experience with Formal Specifications Using an Extended State Transition Model , 1982, IEEE Trans. Commun..
[2] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[3] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[4] Reinhard Gotzhein,et al. Deriving protocol specifications from service specifications , 1986, SIGCOMM '86.
[5] Gregor von Bochmann,et al. Semiautomatic Implementation of Communication Protocols , 1987, IEEE Transactions on Software Engineering.
[6] Edsger W. Dijkstra,et al. Self-stabilizing systems in spite of distributed control , 1974, CACM.
[7] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[8] J. P. Verjus,et al. Distributed Computing Systems , 1983 .
[9] C.A. Vissers,et al. Formal description techniques , 1983, Proceedings of the IEEE.
[10] Yakup Paker,et al. Distributed computing systems : synchronization, control, and communication , 1983 .