Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.
Dumitru Potop-ButucaruAkramul AzimSebastian FischmeisterPublished in: EMSOFT (2010)
Keyphrases
- specification language
- layered architecture
- distributed systems
- real time embedded
- asynchronous communication
- heterogeneous environments
- control flow
- dynamic environments
- distributed data
- operational semantics
- high level
- attribute grammars
- scalable distributed
- logic programming
- distributed environment
- semantic information
- parallel computers
- cooperative
- formal specification
- delay insensitive
- ad hoc networks