Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.
Camille CotiSami EvangelistaKais KlaiPublished in: PNSE @ Petri Nets (2015)
Keyphrases
- formal specification
- resource discovery
- model checking
- concurrent systems
- formal methods
- model checker
- protocol specification
- temporal logic
- peer to peer
- object oriented design
- specification language
- digital libraries
- efficient retrieval
- process algebra
- formal verification
- grid computing
- service discovery
- reverse engineering
- metadata
- asynchronous circuits
- overlay network
- load balancing
- index structure
- building blocks