Login / Signup
Refinement of actions in a real-time process algebra with a true concurrency model.
Harald Fecher
Mila E. Majster-Cederbaum
Jinzhao 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