Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems.
Amala VijayaSelvi RajanArumugam Siri BavanGeetha AbeysinghePublished in: SCSS (2009)
Keyphrases
- distributed systems
- asynchronous communication
- logical language
- synchronous communication
- specification language
- fault tolerant
- operational semantics
- load balancing
- distributed environment
- intended meaning
- definition language
- highly expressive
- formal semantics
- message passing
- operating system
- distributed computing
- geographically distributed
- natural language
- service composition
- programming language
- real time systems
- fault tolerance
- concurrent systems
- loosely coupled
- mobile agents
- security policies
- agent technology
- distributed database systems
- logic programming
- complex systems
- deadlock detection