OXFORD UNIVERSITY COMPUTING LABORATORY

An Operational Semantics for CSP

A. W. Roscoe, S. D. Brookes and D. J. Walker

info

institution

Oxford University Computing Laboratory

year

1986

links

BibTeX

Link (ps)

related pages

people

activities

Random Image
Random Image
Random Image