Interconnecting Objects via Contracts

This publication has 9 references indexed in Scilit:

• Towards an algebra of architectural connectors: a case study on synchronization for mobility
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using Explicit State to Describe Architectures
  Published by Springer Nature ,1999
• Categorical semantics of parallel program design
  Science of Computer Programming, 1997
• Dynamic structure in software architectures
  ACM SIGSOFT Software Engineering Notes, 1996
• Law-governed regularities in object systems. Part 1: An abstract model
  Theory and Practice of Object Systems, 1996
• A superimposition control construct for distributed systems
  ACM Transactions on Programming Languages and Systems, 1993
• Applying 'design by contract'
  Computer, 1992
• Parallel Program Design
  Published by Springer Nature ,1989
• Actors
  Published by MIT Press ,1986