论文信息 - An Algebraic Theory for Synchronization - 字舞流文

An Algebraic Theory for Synchronization

Robin Milner | R. Milner

[1] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..

[2] Robin Milner,et al. Algebras for communicating systems , 1978 .

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

[4] George J. Milne. Mathematical model of concurrent computation , 1977 .

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

[6] Robin Milner,et al. Synthesis of Communicating Behaviour , 1978, MFCS.