Login / Signup

Refinement of actions in a real-time process algebra with a true concurrency model.

Harald FecherMila E. Majster-CederbaumJinzhao Wu
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • real time
  • process algebra
  • relational databases
  • knowledge based systems
  • formal specification
  • formal methods
  • concurrent systems