Publication
-
Algebraic tools for system construction Tech Report
January 1983 -
Het software house- en simulatiespel Tech Report
January 1983 -
January 1983
-
An abstraction mechanism for process algebras Tech Report
January 1983 -
Current algebras and the identification problem Tech Report
January 1983 -
Connectivity of circulant digraphs Tech Report
January 1983 -
Intertwining functions on compact Lie groups, I Tech Report
January 1983 -
January 1983