TY  - SER
AU  - Mccann, Peter J.
AU  - Roman, Gruia-Catalin
TI  - Compositional Programming Abstractions  for  Mobile Computing
KW  -  Formal Methods
KW  - Mobile Users
KW  - Synchronisation
ER  -