Semantics for nondeterministic asynchronous broadcast networks

This publication has 13 references indexed in Scilit:

• Full abstraction of a real-time denotational semantics for an OCCAM-like language
  Published by Association for Computing Machinery (ACM) ,1987
• A model and proof system for asynchronous networks
  Published by Association for Computing Machinery (ACM) ,1985
• A linear-history semantics for languages for distributed programming
  Theoretical Computer Science, 1984
• Using message passing for distributed programming: proof rules and disciplines
  ACM Transactions on Programming Languages and Systems, 1984
• Broadcasting Sequential Processes (BSP)
  IEEE Transactions on Software Engineering, 1984
• Simplifying distributed database systems design by using a broadcast network
  ACM SIGMOD Record, 1984
• Inessential Error Entries and Their Use in LR Parser Optimization
  ACM Transactions on Programming Languages and Systems, 1982
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• Communicating sequential processes
  Communications of the ACM, 1978
• Ethernet
  Communications of the ACM, 1976