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.