A specification language for real-time distributed systems.
Carl K. ChangTsang Ming JiangMikio AoyamaPublished in: ICCL (1988)
Keyphrases
- distributed systems
- specification language
- real time
- real time systems
- description language
- software architecture
- formal specification
- distributed environment
- fault tolerant
- programming language
- mobile agents
- load balancing
- fault tolerance
- geographically distributed
- software environment
- distributed computing
- concurrent systems
- data replication
- artificial intelligence
- distributed database systems
- deadlock detection
- high assurance
- loosely coupled
- security policies
- object oriented
- multi agent
- information systems
- databases