论文信息 - From Algebra to Operational Semantics - 字舞流文

From Algebra to Operational Semantics

C. A. R. Hoare | Jifeng He | C. Hoare | Jifeng He

[1] Leslie Lamport,et al. Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .

[2] A. W. Roscoe,et al. Unbounded Nondeterminism in CSP , 1989, Mathematical Foundations of Programming Semantics.

[3] C. A. R. Hoare,et al. The Varieties of Programming Language , 1989, TAPSOFT, Vol.1.

[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[5] Inmos Limited,et al. OCCAM 2 reference manual , 1988 .

[6] C. A. R. Hoare,et al. Laws of programming , 1987, CACM.

[7] Bill Roscoe,et al. An Operational Semantics for CSP , 1986 .

[8] Jan A. Bergstra,et al. Algebra of Communicating Processes with Abstraction , 1985, Theor. Comput. Sci..

[9] Amir Pnueli,et al. A Linear-History Semantics for Languages for Distributed Programming , 1984, Theor. Comput. Sci..

[10] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.

[11] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[12] Gordon Plotkin,et al. An Operational Semantics for CSP. , 1982 .

[13] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.