Effective methods to prove bisimilarity for subsets of CCS

  • J.C. Glijnis

Scriptie/Masterproef: Master

Samenvatting

Datum prijs1988
Originele taalEngels
BegeleiderC.J. Koomen (Afstudeerdocent 1), G. Rozenberg (Externe coach), H.C.M. Kleijn (Externe coach) & P.J. de Graaff (Afstudeerdocent 2)

Citeer dit

'