Process Opacity for Timed Process Algebra.

Damas P. Gruska

Published in: Ershov Memorial Conference (2014)

Keyphrases

process algebra
database systems
software engineering
process model
model checking
formal specification