Conference item icon

Conference item

Existential abstractions for distributed reactive systems via syntactic transformations

Abstract:

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 asynchronous communication between them. The special features of synchronous programs allow us to obtain abstractions that are also valid synchronous programs only by syntactic transformations. For...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1289927.1289965

Authors


Contributors

Role:
Editor
Role:
Editor
Host title:
Proceedings of the 7th ACM and IEEE international conference on Embedded software (EMSOFT)
Publication date:
2007-09-01
DOI:
ISBN:
9781595938251
UUID:
uuid:d2a2f1ee-967b-4524-af3c-df2402805530
Local pid:
cs:3097
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP