Process Algebras as Specification Language.

Friedger Müffke

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

specification language
formal specification
case study
database
multi agent systems
symbolic execution
high level
open source
orders of magnitude
process model