Bounded nondeterminism and the approximation induction principle in process algebra

This publication has 6 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980