Compositional Semantics for Real-time Distributed Computing.
Ron KoymansR. K. ShyamasundarWillem P. de RoeverRob GerthS. Arun-KumarPublished in: Logic of Programs (1985)
Keyphrases
- distributed computing
- real time
- compositional semantics
- distributed environment
- distributed systems
- grid computing
- fault tolerance
- cloud computing
- peer to peer
- mobile agents
- mobile communications
- virtual machine
- vision system
- artificial intelligence
- intelligent agents
- load balancing
- data processing
- data model
- semantic analysis
- virtual organization
- databases