Algebraic Process Verification

This publication has 15 references indexed in Scilit:

• The Tree Identify Protocol of IEEE 1394 in μCRL
  Formal Aspects of Computing, 1998
• Grid protocols based on synchronous communication
  Science of Computer Programming, 1997
• Formal verification of a leader election protocol in process algebra
  Theoretical Computer Science, 1997
• Formalizing process algebraic verifications in the calculus of constructions
  Formal Aspects of Computing, 1997
• Confluence for process verification
  Theoretical Computer Science, 1996
• A Correctness Proof of a One-bit Sliding Window Protocol in CRL
  The Computer Journal, 1994
• Refusal testing
  Theoretical Computer Science, 1987
• Petri Nets
  Published by Springer Nature ,1985
• Process algebra for synchronous communication
  Information and Control, 1984
• Communicating sequential processes
  Communications of the ACM, 1978