Specifying modules to satisfy interfaces: A state transition system approach

This publication has 13 references indexed in Scilit:

• A relational notation for state transition systems
  IEEE Transactions on Software Engineering, 1990
• 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
• What it means for a concurrent program to satisfy a specification
  Published by Association for Computing Machinery (ACM) ,1985
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Protocol Verification via Projections
  IEEE Transactions on Software Engineering, 1984
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976