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.
Reference:
@inproceedings{
author={N. Halbwachs and S. Baghdadi},
title={Synchronous modeling of asynchronous systems},
booktitle={EMSOFT'02},
publisher={LNCS 2491, Springer Verlag},
address={Grenoble}
month=oct,
year 2002
}