Parameterised Verification of Publish/Subscribe Networks with Exception Handling.
Giorgio DelzannoPublished in: RP (2019)
Keyphrases
- exception handling
- publish subscribe
- event driven
- domain independent
- publish subscribe systems
- back end
- information dissemination
- object oriented programming
- object oriented
- overlay network
- loosely coupled
- agent systems
- workflow management
- conflict resolution
- domain specific
- high level
- peer to peer
- wireless sensor networks