Simulations between specifications of distributed systems

This publication has 24 references indexed in Scilit:

• Process simulation and refinement
  Formal Aspects of Computing, 1989
• A simple approach to specifying concurrent systems
  Communications of the ACM, 1989
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• Proving entailment between conceptual state specifications
  Theoretical Computer Science, 1988
• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• A state-based approach to communicating processes
  Distributed Computing, 1988
• Prespecification in data refinement
  Information Processing Letters, 1987
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• An HDLC protocol specification and its verification using image protocols
  ACM Transactions on Computer Systems, 1983
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983