Towards a Design Methodology for Distributed Systems

This publication has 16 references indexed in Scilit:

• Predicative specifications for functional programs describing communicating networks
  Information Processing Letters, 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
• Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems
  Published by Springer Nature ,1986
• Semantics of communicating processes
  Information and Control, 1984
• Predicative programming Part I
  Communications of the ACM, 1984
• Distributed processes
  Communications of the ACM, 1978
• Communicating sequential processes
  Communications of the ACM, 1978
• Monitors
  Communications of the ACM, 1974
• Analysis of Programs for Parallel Processing
  IEEE Transactions on Electronic Computers, 1966