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

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