Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems.

Viorel Preoteasa, Stavros Tripakis

Browse the full LICS paper archive.