Login / Signup

A process algebraic approach to the specification and analysis of resource-bound real-time systems.

Insup LeePatrice Brémond-GrégoireRichard Gerber
Published in: Proc. IEEE (1994)
Keyphrases
  • real time systems
  • artificial intelligence
  • lower bound
  • formal specification
  • low cost
  • distributed systems
  • information sharing
  • timing constraints
  • architectural model