Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination

  • A. Belder

Student thesis: Master

Abstract

Date of Award31 Aug 2018
Original languageEnglish
SupervisorS.P. (Bas) Luttik (Supervisor 1)

Cite this

Decidability of bisimilarity and axiomatisation for sequential processes in the presence of intermediate termination
Belder, A. (Author). 31 Aug 2018

Student thesis: Master