A Modal Characterisation of Observable Machine-Behaviour

Robin Milner

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

Original languageEnglish
Title of host publicationCAAP '81
Subtitle of host publicationTrees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
PublisherSpringer Berlin Heidelberg
Number of pages10
ISBN (Electronic)978-3-540-38716-9
ISBN (Print)978-3-540-10828-3
Publication statusPublished - 1981

Cite this