Syntax and defining equations for an interrupt mechanism in process algebra (1986)

by J C M Baeten, J A Bergstra, J W Klop
Venue:Fundamenta Informaticae