On the emergence of properties in component-based systems

This publication has 14 references indexed in Scilit:

• Superimposition for interacting processes
  Published by Springer Nature ,2005
• Interconnecting formalisms
  Published by Association for Computing Machinery (ACM) ,1995
• A superimposition control construct for distributed systems
  ACM Transactions on Programming Languages and Systems, 1993
• Application of the composition principle to unity-like specifications
  Published by Springer Nature ,1993
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• 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
• Action system approach to the specification and design of distributed systems
  Published by Association for Computing Machinery (ACM) ,1989
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• A compositional approach to superimposition
  Published by Association for Computing Machinery (ACM) ,1988