Eintrag weiter verarbeiten
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)
Verfasser / Komponist: | Jos Baeten |
---|---|
beteiligte Personen: | Jos Baeten • Bas Luttik • Fei Yang |
In: | Electronic Proceedings in Theoretical Computer Science, 255, 2017, S. 1-17 |
Medientyp: | E-Article |
Umfang: | 1-17 |