Dynamic consistency in process algebra: From Paradigm to ACP.

Suzana Andova Luuk Groenewegen Erik P. de Vink

Published in: Sci. Comput. Program. (2011)

Keyphrases

process algebra
formal specification
formal methods
concurrent systems
asynchronous circuits
model checking