Formal Approaches to SMS Service Based on Pi Calculus.

Hongyan Mao Ningkang Jiang Qin Li Huibiao Zhu

Published in: FCST (2009)

Keyphrases

formal language
case study
strengths and weaknesses
database
neural network
web services
email
distributed systems
mobile phone
service providers
service composition
web service composition