OXFORD UNIVERSITY COMPUTING LABORATORY

A theory of communicating sequential processes

A. W. Roscoe, S.D. Brookes and C.A.R. Hoare

info

journal

Journal of the ACM

month

July

number

3

pages

560—599

series

31

year

1984

links

BibTeX

Link (pdf)

related pages

people

activities

Random Image
Random Image
Random Image