Advanced component interface specification

This publication has 9 references indexed in Scilit:

• Functional specification of time-sensitive communicating systems
  ACM Transactions on Software Engineering and Methodology, 1993
• The expressive power of indeterminate dataflow primitives
  Information and Computation, 1992
• A proof of the Kahn principle for input/output automata
  Information and Computation, 1989
• Predicative specifications for functional programs describing communicating networks
  Information Processing Letters, 1987
• Specification and top-down design of distributed systems
  Journal of Computer and System Sciences, 1987
• Semantics of finite and infinite networks of concurrent communicating agents
  Distributed Computing, 1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• A theory for nondeterminism, parallelism, communication, and concurrency
  Theoretical Computer Science, 1986
• On the semantics of fair parallelism
  Published by Springer Nature ,1980