Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems.
Thomas ChatainPaul GastinNathalie SznajderPublished in: SOFSEM (2009)
Keyphrases
- distributed systems
- cooperative
- complex systems
- data intensive
- asynchronous circuits
- description logics
- multi agent
- distributed object
- content analysis
- formal specification
- artificial systems
- distributed search
- delay insensitive
- web services
- asynchronous communication
- heterogeneous systems
- open systems
- finite state machines
- fault tolerant
- database systems