Showing invariance compositionally for a process algebra for network protocols.

Timothy Bourke Rob J. van Glabbeek Peter Höfner

Published in: CoRR (2014)

Keyphrases

network protocols
process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
formal methods
web services composition
communication protocols
petri net
wireless mesh networks
temporal logic
social networks
business processes
formal languages