Abstract: In most large scale Publish/Subscribe systems implemented on top of the internet, the overlay is not reliable. One of the major challenges of pub/sub systems is their reliability and their ability to cope with failures in the system. A formal specication

Key words: Reliability, Trace sequence,Crash/recover, Routing protocol