Title: Global Computing. Programming Environments, Languages, Security, and Analysis of Systems