Concurrency and Protocol Verification

July 24th, 2016

Formal models of concurrency and distributed systems for the specification, analysis and verification of network protocols and operating systems.