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

by J Baeten, J Bergstra, J W Klop
Venue:Fundamenta Informaticae