Login / Signup

The State Operator in Real Time Process Algebra.

Jos C. M. BaetenJan A. Bergstra
Published in: REX Workshop (1991)
Keyphrases
  • real time
  • process algebra
  • model checking
  • formal specification
  • formal methods
  • concurrent systems
  • artificial intelligence
  • high level
  • source code
  • asynchronous circuits
  • grid workflow