Problem Solving Using Process Algebra Considered Insightful.

Jan Friso Groote Erik P. de Vink

Published in: ModelEd, TestEd, TrustEd (2017)

Keyphrases

process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
artificial intelligence
formal methods
case study
knowledge acquisition
query processing
fine grained