Dynamic Consistency in Process Algebra: From Paradigm to ACP.

Suzana Andova Luuk Groenewegen Erik P. de Vink

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

Keyphrases

process algebra
asynchronous circuits
model checking
formal specification
concurrent systems
database
machine learning
multi agent systems
formal methods