From Bisimulation to Traces
: The Impact of Parallel Composition on Finite Bases

Rowin Versteeg

Mathematics and Computer Science

Student thesis: Master

Date of Award	28 May 2021
Original language	English
Supervisor	S.P. (Bas) Luttik (Supervisor 1)

Cite this

Standard

Documents

Master_Thesis_Rowin_Versteeg
File: application/pdf, 680 KB
Type: Thesis

'