In English
Logga in
timed calculi
Milner's CCS
process algebras
real time systems
Institutionen för informationsbehandling
Data- och informationsvetenskap
91-7032-589-8
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 806