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

  • A. Belder

Scriptie/Masterproef: Master

Datum prijs31 aug. 2018
Originele taalEngels
BegeleiderS.P. (Bas) Luttik (Afstudeerdocent 1)

Citeer dit

'