Bas Luttik -

Registered user since Fri 22 Feb 2019

Name:Bas Luttik

Affiliation:Eindhoven University of Technology

Personal website: https://www.win.tue.nl/~luttik/

Contributions

2019

OPCT

Author of Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) within the OPCT 2019-track