Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.

Marino Miculan Marco Paviotti

Published in: ITP (2012)

Keyphrases

distributed systems
autonomous mobile
distributed environment
cooperative
mobile devices
functional programs
mobile phone
mobile networks
mobile sensor networks
computing environments
distributed data
mobile environments
mobile communication
mobile objects
remote server
peer to peer
multi agent
database