Syntax and defining equations for an interrupt mechanism in process algebra
Publication date
1986
Authors
Bergstra, J.A.
Baeten, J.C.M.
Klop, J.W.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
