2017-06-14
Sequential Composition in the Presence of Intermediate Termination
Publication
Publication
Additional Metadata | |
---|---|
Organisation | CWI management |
Luttik, B., Baeten, J., & Yang, F. (2017). Sequential Composition in the Presence of Intermediate Termination. |