A process specification formalism based on static COLD.
Publication date
1991
Authors
Bergstra, J.A.
Baeten, J.C.M.
Mauw, S.
Veltink, G.
Editors
Advisors
Supervisors
DOI
Document Type
Article in proceedings
Metadata
Show full item recordCollections
License
No license information available