Computing Ready Simulations Efficiently

This publication has 11 references indexed in Scilit:

• Computing behavioural relations, logically
  Published by Springer Nature ,1991
• The concurrency workbench
  Published by Springer Nature ,1990
• Program derivation by fixed point computation
  Science of Computer Programming, 1989
• Bisimulation can't be traced
  Published by Association for Computing Machinery (ACM) ,1988
• Three Partition Refinement Algorithms
  SIAM Journal on Computing, 1987
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Finite Differencing of Computable Expressions
  ACM Transactions on Programming Languages and Systems, 1982
• Communicating sequential processes
  Communications of the ACM, 1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977