tlooto
Sign up
Computer Science

Reactive Modules

R. Alur, T. Henzinger

1996.7.27FORMAL METHODS IN SYSTEM DESIGN

DOI: 10.1109/lics.1996.561320

tlooto Summary

The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical design and verification and uses a hiding operator that may turn a synchronous system into an asynchronous one.

Abstract

Abstract is not available.

Citation format

ALUR, R.; HENZINGER, T. Reactive modules. FORMAL METHODS IN SYSTEM DESIGN, 1996, 15: 7–48.