Login / Signup

Real time process algebra with time-dependent conditions.

Jos C. M. BaetenCornelis A. Middelburg
Published in: J. Log. Algebraic Methods Program. (2001)
Keyphrases
  • real time
  • process algebra
  • concurrent systems
  • asynchronous circuits
  • formal methods
  • formal specification
  • model checking
  • database
  • expert systems
  • distributed systems
  • communication protocols
  • web services composition