From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.
Julien BernetDavid JaninPublished in: SOFSEM (2008)
Keyphrases
- program synthesis
- recursive programs
- delay insensitive
- asynchronous communication
- distributed systems
- cooperative
- distributed constraint satisfaction
- distributed constraint satisfaction problems
- peer to peer
- inductive logic programming
- asynchronous circuits
- data model
- multi agent
- formal specification
- machine learning
- distributed environment
- natural language
- keywords