Programming Language Support for Writing Fault-Tolerant Distributed Software.
Richard D. SchlichtingVicraj T. ThomasPublished in: IEEE Trans. Computers (1995)
Keyphrases
- fault tolerant
- programming language
- distributed systems
- fault tolerance
- concurrent programming
- safety critical
- general purpose
- object oriented
- programming tool
- load balancing
- strongly typed
- programming environment
- software engineering
- abstract data types
- high level
- computer programs
- end users
- high availability
- domain specific languages
- object oriented programming
- distributed environment
- computer systems
- specification language
- user interface
- interconnection networks
- relational databases
- denotational semantics
- high level programming language
- program code
- data abstraction
- source code
- data model
- multi agent