Syntax and defining equations for an interrupt mechanism in process algebra

DSpace/Manakin Repository

Bergstra, J.A.; Baeten, J.C.M.; Klop, J.W.

(1986) Fundamenta informaticae : quarterly, volume IX, pp. 127 - 167

(Article)

Download/Full Text

ISSN: 0169-2968

Publisher: Panstwowe Wydawnictwo Naukowe

See more statistics about this item