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

Publication date:
2007-09-01
DOI:
URN:
uuid:d2a2f1ee-967b-4524-af3c-df2402805530
Local pid:
cs:3097
ISBN:
978-1-59593-825-1

Terms of use


Metrics


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