论文信息 - Synthesis of Communicating Behaviour - 字舞流文

Synthesis of Communicating Behaviour

Robin Milner | R. Milner

[1] Robin Milner,et al. Flowgraphs and Flow Algebras , 1979, JACM.

[2] Robin Milner,et al. Concurrent Processes and Their Syntax , 1979, JACM.

[3] Józef Winkowski,et al. An Algebraic Characterization of the Behaviour of Non-Sequential Systems , 1977, Inf. Process. Lett..

[4] A. Mazurkiewicz. Concurrent Program Schemes and their Interpretations , 1977 .

[5] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[6] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[7] Dana S. Scott,et al. The lattice of flow diagrams , 1971, Symposium on Semantics of Algorithmic Languages.