Distributed synthesis for regular and contextfree specifications.
Wladimir FridmanBernd PuchalaPublished in: Acta Informatica (2014)
Keyphrases
- multi agent
- distributed environment
- distributed systems
- distributed computing
- cooperative
- distributed architecture
- fault tolerant
- database
- peer to peer
- lightweight
- programming language
- written in natural language
- specification language
- expert systems
- image sequences
- high level
- search engine
- machine learning
- real time