A theory of interfaces and modules I-composition theorem

This publication has 13 references indexed in Scilit:

• Applying a theory of modules and interfaces to security verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A rely and guarantee method for timed CSP: a specification and design of a telephone exchange
  IEEE Transactions on Software Engineering, 1993
• Specifying modules to satisfy interfaces: A state transition system approach
  Distributed Computing, 1992
• A stepwise refinement heuristic for protocol construction
  ACM Transactions on Programming Languages and Systems, 1992
• A simple approach to specifying concurrent systems
  Communications of the ACM, 1989
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971