Extensions of (Concurrent) Kleene Algebra
Publication year
2022Author(s)
Publisher
[S.l.] : [S.n.]
Series
IPA Dissertation Series
Number of pages
237 p.
Annotation
Radboud University, 24 oktober 2022
Promotores : Geuvers, J.H., Silva, A. Co-promotor : Rot, J.C.
Publication type
Dissertation

Display more detailsDisplay less details
Organization
Software Science
Subject
IPA Dissertation Series; Software ScienceThis item appears in the following Collection(s)
- Academic publications [232208]
- Dissertations [13201]
- Electronic publications [115401]
- Faculty of Science [34958]
- Open Access publications [82702]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.