Formal Methods and Event Notification Systems in Mobile Computing Environment

Prashant Kumar, R. K. Ghosh

In this report, we have explored the issues associated with the specification of event-based systems in a mobile environment using Unity \cite{unity}. We used a few constructs and…