Semantics of architectural connectors

This publication has 13 references indexed in Scilit:

• Architectural Specifications: Modeling and Structuring Behavior Through Rules
  Published by Springer Nature ,2007
• A mathematical toolbox for the software architect
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Synthesising Interconnections
  Published by Springer Nature ,1997
• Coordination Languages and Models
  Published by Springer Nature ,1996
• Interconnecting formalisms
  Published by Association for Computing Machinery (ACM) ,1995
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Acta Informatica, 1992
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Institutions: abstract model theory for specification and programming
  Journal of the ACM, 1992
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• The semantics of clear, a specification language
  Published by Springer Nature ,1980