Functional Specification of Time Sensitive Communicating Systems

This publication has 8 references indexed in Scilit:

• A fully abstract trace model for dataflow networks
  Published by Association for Computing Machinery (ACM) ,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
• A theory for nondeterminism, parallelism, communication, and concurrency
  Theoretical Computer Science, 1986
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Scenarios: A model of non-determinate computation
  Published by Springer Nature ,1981
• On the semantics of fair parallelism
  Published by Springer Nature ,1980