Login / Signup
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