Effective methods to prove bisimilarity for subsets of CCS

  • J.C. Glijnis

Student thesis: Master

Abstract

Date of Award1988
Original languageEnglish
SupervisorC.J. Koomen (Supervisor 1), G. Rozenberg (External coach), H.C.M. Kleijn (External coach) & P.J. de Graaff (Supervisor 2)

Cite this

Effective methods to prove bisimilarity for subsets of CCS
Glijnis, J. C. (Author). 1988

Student thesis: Master