Control Flow Semantics

Whereas in more traditional approaches one focuses on input/output behavior, in this work equal attention is devoted to finite and infinite computations, the latter motivated by the growing importance of reactive systems.