Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes
暂无分享,去创建一个
[1] F. Alvarez-Cuevas,et al. Voice synchronization in packet switching networks , 1993, IEEE Network.
[2] Tony Hoare,et al. Hierarchical Program Structures , 1972 .
[3] Barbara Liskov,et al. Abstraction and Specification in Program Development , 1986 .
[4] Miquel Bertran,et al. An environment for DSP system development with extended abstract types, and dimensional design (PADDE) , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.
[5] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[6] Miquel Bertran-Salvans. On a formal definition and application of dimensional design , 1988, Softw. Pract. Exp..
[7] Robert W. Witty. Small scale software engineering , 1981 .
[8] Miquel Bertran,et al. A design environment with simulation and formal verification (syr-padde) , 1994, Fifth IEEE International Workshop on Computer-Aided Modeling, Analysis, and Design of Communication Links and Networks.
[9] Michael Yoeli. Formal Verification of Hardware Design , 1990 .
[10] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.
[11] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[12] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[13] C. A. R. Hoare,et al. The Laws of Occam Programming , 1988, Theor. Comput. Sci..