Interconnecting formalisms

This publication has 11 references indexed in Scilit:

• Conjunction as composition
  ACM Transactions on Software Engineering and Methodology, 1993
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Software reuse
  ACM Computing Surveys, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• A categorical manifesto
  Mathematical Structures in Computer Science, 1991
• A simple approach to specifying concurrent systems
  Communications of the ACM, 1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Specifications in an arbitrary institution
  Information and Computation, 1988
• A compositional approach to superimposition
  Published by Association for Computing Machinery (ACM) ,1988
• Another look at software design methodology
  ACM SIGSOFT Software Engineering Notes, 1984