Name
Abstract | ||
|---|---|---|
We investigate the use of synchronous languages to model partially asynchronous systems. Through the use of intermittent activations
and assertions, synchronous processes can be composed according to various asynchronous models. Common synchronization and
communication mechanisms can be described. The resulting descriptions can be simulated and verified, using classical tools
of synchronous programming.
|
Year | DOI | Venue |
|---|---|---|
2002 | 10.1007/3-540-45828-X_18 | International Workshop on Embedded Systems |
Keywords | Field | DocType |
intermittent activation,synchronous programming,synchronous process,asynchronous system,asynchronous systems,synchronous language,common synchronization,various asynchronous model,classical tool,communication mechanism | Asynchronous communication,Synchronization,Synchronous motor,Asynchronous system,Synchronizer,Computer science,Real-time computing,Real-time operating system,Synchronous language,Proactor pattern,Distributed computing | Conference |
Volume | ISSN | ISBN |
2491 | 0302-9743 | 3-540-44307-X |
Citations | PageRank | References |
17 | 0.88 | 12 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nicolas Halbwachs | 1 | 3957 | 426.43 |
| Siwar Baghdadi | 2 | 20 | 1.60 |