Behavioral complexity indicators for process algebra: The NKS approach.

Tommaso Bolognesi

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
machine learning
relational databases
knowledge acquisition
temporal logic