A modal characterisation of observable machine behaviour (0)

by R Milner
Venue:CAAP ’81: Trees in Algebra and Programming, 6th Colloquium,volume112 ofLectureNotes inComputer Science,pages25–34. Springer,1981