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