Synthesising Interconnections

This publication has 14 references indexed in Scilit:

• Coordination Languages and Models
  Published by Springer Nature ,1996
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Knowledge representation and reasoning in the design of composite systems
  IEEE Transactions on Software Engineering, 1992
• Temporal theories as modularisation units for concurrent system specification
  Formal Aspects of Computing, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982