Mechanizing a Process Algebra for Network Protocols.
Timothy BourkeRob J. van GlabbeekPeter HöfnerPublished in: J. Autom. Reason. (2016)
Keyphrases
- network protocols
- process algebra
- concurrent systems
- formal specification
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- temporal logic
- petri net
- distributed systems
- programming environment
- smart grid
- wireless mesh networks
- expert systems
- web service composition
- real time
- reverse engineering
- knowledge based systems
- response time
- machine learning