A Symmetric Modal Lambda Calculus for Distributed Computing.
Tom Murphy VIIKarl CraryRobert HarperFrank PfenningPublished in: LICS (2004)
Keyphrases
- distributed computing
- lambda calculus
- programming language
- fault tolerance
- cloud computing
- distributed environment
- distributed systems
- grid computing
- modal logic
- mobile agents
- predicate calculus
- virtual machine
- higher order
- peer to peer
- mobile communications
- distributed computing environment
- database query languages
- complex objects
- fault tolerant
- semantic network
- database
- load balancing
- program understanding
- operating system
- computer science
- data mining