Using Explicit State to Describe Architectures

This publication has 10 references indexed in Scilit:

• A formal basis for architectural connection
  ACM Transactions on Software Engineering and Methodology, 1997
• Categorical semantics of parallel program design
  Science of Computer Programming, 1997
• A semantic integration of object-Z and CSP for the specification of concurrent systems
  Published by Springer Nature ,1997
• Specification of required non-determinism
  Published by Springer Nature ,1997
• Preservation and reflection in specification
  Published by Springer Nature ,1997
• Semantics of architectural connectors
  Published by Springer Nature ,1997
• Dynamic structure in software architectures
  Published by Association for Computing Machinery (ACM) ,1996
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Enforcing nondeterminism via linear time temporal logic specifications using hiding
  Published by Springer Nature ,1989