Bounded delay timing analysis of a class of CSP programs with choice

This publication has 11 references indexed in Scilit:

• Using partial orders to improve automatic verification methods
  Published by Springer Nature ,2005
• Algorithms for interface timing verification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Practical applications of an efficient time separation of events algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An algorithm for exact bounds on the time separation of events in concurrent systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Synthesis of timed asynchronous circuits
  IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1993
• Trace Algebra for Automatic Verification of Real-Time Concurrent Systems
  Published by Defense Technical Information Center (DTIC) ,1992
• Verifying automata specifications of probabilistic real-time systems
  Published by Springer Nature ,1992
• Modular Construction and Partial Order Semantics of Petri Nets
  Published by Springer Nature ,1992
• Basic notions of trace theory
  Published by Springer Nature ,1989
• COSY: Its relation to nets and to CSP
  Published by Springer Nature ,1987