Syntax and defining equations for an interrupt mechanism in process algebra, Fund. Inform. M(2 (1986)

by J C M Baeten, J A Bergs&a, J W Klop