Existential abstractions for distributed reactive systems via syntactic transformations
Synchronous languages are well suited to implementation and verification of reactive systems. Large reactive systems tend to be distributed to cope with scalability and application specific demands. We propose abstractions for distributed reactive systems modelled as a set of synchronous nodes with...
| 主要な著者: | , , |
|---|---|
| その他の著者: | |
| フォーマット: | Conference item |
| 出版事項: |
2007
|