A Modal Characterisation of Observable Machine-Behaviour

Robin Milner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	CAAP '81
Subtitle of host publication	Trees in Algebra and Programming 6th Colloquium Genoa, March 5–7, 1981 Proceedings
Publisher	Springer
Pages	25-34
Number of pages	10
ISBN (Electronic)	978-3-540-38716-9
ISBN (Print)	978-3-540-10828-3
DOIs	https://doi.org/10.1007/3-540-10828-9_52
Publication status	Published - 1981

Access to Document

@inproceedings{9334cb2ab6374e5a915d194143672c87,

title = "A Modal Characterisation of Observable Machine-Behaviour",

author = "Robin Milner",

year = "1981",

doi = "10.1007/3-540-10828-9_52",

language = "English",

isbn = "978-3-540-10828-3",

pages = "25--34",

booktitle = "CAAP '81",

publisher = "Springer",

address = "United Kingdom",

}