Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close.

Henning Makholm J. B. Wells

Published in: ESOP (2005)

Keyphrases

mobile devices
complex systems
rule based systems
intelligent systems
computer systems
decision process
neural network
artificial intelligence
mobile phone
process model
computing environments
communication technologies