A Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.

Ramesh Bharadwaj, Supratik Mukhopadhyay

Browse the full COMPSAC paper archive.