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

'