An Interpreter for LOTOS, a Specification Language for Distributed Systems.
Luigi LogrippoAbdellatif ObaidJ. P. BriandM. C. FehriPublished in: Softw. Pract. Exp. (1988)
Keyphrases
- distributed systems
- specification language
- programming language
- description language
- formal specification
- fault tolerant
- software architecture
- general purpose
- fault tolerance
- distributed environment
- geographically distributed
- distributed computing
- high level
- load balancing
- deadlock detection
- real time systems
- software engineering
- distributed database systems
- object oriented
- operating system
- software environment
- production system
- databases
- concurrent systems
- replicated data
- data replication
- information systems
- data management
- relational databases
- artificial intelligence
- loosely coupled
- data availability
- query language
- mobile agent system
- fine grained
- mobile agents