We introduce different mobile network applications and show to which degree the concept of database transactions is required within the applications. We show properties of transact...
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...