A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
Rocco De NicolaGianLuigi FerrariRosario PuglieseFrancesco TiezziPublished in: CoRR (2019)
Keyphrases
- distributed systems
- domain specific
- general purpose
- fault tolerant
- load balancing
- distributed environment
- message passing
- fault tolerance
- geographically distributed
- mobile agents
- distributed computing
- formal specification
- data replication
- software engineering
- real time systems
- concurrent systems
- artificial intelligence
- distributed database systems
- operating system
- loosely coupled
- description logics
- real time
- formal ontologies
- deadlock detection