An axiomatisation for rooted branching bisimulation with explicit divergence

  • L. Spaninks

Scriptie/Masterproef: Master

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

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 508 KB

    Type: Scriptie

'