Tom Maibaum
AuthID: R-006-F76
1
TITLE: Categorical semantics of parallel program design Full Text
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
2
TITLE: Interconnecting formalisms: Supporting modularity, reuse and incrementality
AUTHORS: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
AUTHORS: Jose Luiz Fiadeiro; Tom Maibaum;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering in Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering
INDEXED IN: 
Scopus
Scopus