Specifications and Verification of Network Protocols by Process Algebra.

Gabriel Ciobanu K. N. Sridhar

Published in: SYNASC (2005)

Keyphrases

process algebra
network protocols
concurrent systems
asynchronous circuits
formal specification
model checking
temporal logic
distributed systems
grid workflow
petri net
formal methods
protocol specification
wireless mesh networks
smart grid
machine learning
software components
wireless sensor networks