A Formal Model of Coordination for Supporting Community Computing in a Ubiquitous Environment
Recent advances in mobile computing technologies and platform-independent information systems have enabled to realize a ubiquitous environment. Community computing has been developed as a useful tool for realizing collaborative services in a ubiquitous