Gnesi S., Semini L.
Coordination languages Mobile applications Formal techniques Software/program verification. Formal methods
Coordination languages based on multiple tuple spaces and asynchronous communication provide an high level description formalism which is adequate to model applications in a mobile environment. These languages have the advantage, with respect to most languages to describe mobile systems, of permitting to describe the applications without considering low level issues like subsystems location or communication failures. To support this claim we formally show how simple coordination primitives can be implemented when the underlying architecture is a mobile one. Finally, we prove that our implementation model is correct with respect to the coordination language semantics.
Source: International Conference on Parallel and Distributed Processing Techniques and Applications: PDPTA'99., pp. 1012–1018, Las Vegas, USA, June 28 - July 1 1999
@inproceedings{oai:it.cnr:prodotti:407577, title = {Implementation of coordination primitives in a mobile architecture}, author = {Gnesi S. and Semini L.}, booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications: PDPTA'99., pp. 1012–1018, Las Vegas, USA, June 28 - July 1 1999}, year = {1999} }