A Proof Assistant for Mobile Processes.

Xutao Du Zhoujun Li

Published in: APPT (2003)

Keyphrases

mobile devices
database
m learning
theorem prover
mobile phone
test bed
autonomous mobile
computational model
mobile users
mobile communication
location aware
communication channels
mobile technologies
theorem proving
mobile learning
process model
search engine
databases