Lecture Notes in Computer Science

2 primary works

Edinburgh LCF

by M. Gordon, R. Milner, and C. P. Wadsworth

Published 1 December 1979

A Calculus of Communicating Systems

by R. Milner

Published 1 September 1980