Skip to main navigation
Skip to search
Skip to main content
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational units
Activities
Projects
Prizes
Press / Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
A complete axiomatisation for probabilistic trace equivalence
Ferry Timmers
Mathematics and Computer Science
Student thesis
:
Master
Abstract
Date of Award
26 Nov 2018
Original language
English
Supervisor
Jan Friso Groote
(Supervisor 1)
Cite this
Standard
A complete axiomatisation for probabilistic trace equivalence
Timmers, F. (Author).
26 Nov 2018
Student thesis
:
Master
Documents
Ferry Timmers
File
:
application/pdf, 1.75 MB
Type
:
Thesis