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
Pages25-34
Number of pages10
ISBN (Electronic)978-3-540-38716-9
ISBN (Print)978-3-540-10828-3
DOIs
Publication statusPublished - 1981

Cite this