Synthesis of Distributed Synchronous Specifications to SysteMoC.
Mohamed Ammar Ben KhadraYu BaiKlaus SchneiderPublished in: MBMV (2014)
Keyphrases
- distributed systems
- cooperative
- lightweight
- delay insensitive
- program synthesis
- distributed architecture
- fault tolerant
- distributed environment
- data model
- loosely coupled
- information retrieval
- distributed network
- real time
- programming language
- database systems
- database
- mobile agents
- case study
- genetic algorithm
- distributed computing
- distributed learning
- machine learning