Mechanizing a Process Algebra for Network Protocols.
Timothy BourkeRob J. van GlabbeekPeter HöfnerPublished in: CoRR (2015)
Keyphrases
- network protocols
- process algebra
- formal specification
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- web services composition
- communication protocols
- temporal logic
- wireless mesh networks
- distributed systems
- petri net
- smart grid
- web service composition
- web services
- programming environment
- formal languages
- highly reliable
- artificial intelligence
- service discovery
- service composition
- software components
- response time
- information systems