Concurrent Processes as Objects (Abstract)

Robin Milner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationVDM'91 Formal Software Development Methods
Subtitle of host publication4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings
PublisherSpringer Press
Pages9
Number of pages1
ISBN (Electronic)978-3-540-46449-5
ISBN (Print)978-3-540-54834-8
DOIs
Publication statusPublished - 1991

Cite this