Modeling and verifying the Ariadne protocol using process algebra.

Xi Wu Huibiao Zhu Yongxin Zhao Zheng Wang Si Liu

Published in: Comput. Sci. Inf. Syst. (2013)

Keyphrases

process algebra
model checking
formal specification
concurrent systems
formal methods
protocol specification
lightweight
temporal logic
general purpose
communication protocols
object oriented
communication protocol
asynchronous circuits
formal languages
information systems
artificial intelligence
machine learning