A Typed Language for Distributed Mobile Processes (Extended Abstract).
James RielyMatthew HennessyPublished in: POPL (1998)
Keyphrases
- extended abstract
- computing environments
- distributed systems
- distributed environment
- autonomous mobile
- lambda calculus
- mobile devices
- computer networks
- cooperative
- higher order
- mobile computing
- mobile phone
- programming language
- process model
- language processing
- mobile objects
- mobile environments
- mobile sensor networks
- database
- peer to peer
- multi agent
- mobile applications
- mobile networks
- first order logic
- mobile learning
- location aware
- operational semantics
- remote server
- natural language
- neural network