TY - SER AU - McCann, Peter J. [and other] TI - Compositional programming abstractions for mobile computing KW - SOFTWARE ER -