Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams.

Walter Dosch

Browse the full AICCSA paper archive.