Superimposition for interacting processes

This publication has 20 references indexed in Scilit:

• Cooperating proofs for distributed programs with multiparty interactions
  Information Processing Letters, 1989
• Action system approach to the specification and design of distributed systems
  ACM SIGSOFT Software Engineering Notes, 1989
• Appraising fairness in languages for distributed programming
  Distributed Computing, 1988
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• A Distributed Algorithm for Minimum Weight Directed Spanning Trees
  IEEE Transactions on Communications, 1983
• An Effective Implementation for the Generalized Input-Output Construct of CSP
  ACM Transactions on Programming Languages and Systems, 1983
• Distributed Termination
  ACM Transactions on Programming Languages and Systems, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975