A calculus of communicating systems

Loading...
Thumbnail Image
Date
1980
Journal Title
Journal ISSN
Volume Title
Publisher
Berlin ;New York : Springer-Verlag
Abstract
Description
Keywords
QA267 .M53, Robin Milner., Machine theory., Formal languages.
Citation
Collections