A calculus of real time systems
Doktorsavhandling, 1991

timed calculi

Milner's CCS

process algebras

real time systems

Författare

Yi Wang

Institutionen för informationsbehandling

Ämneskategorier

Data- och informationsvetenskap

ISBN

91-7032-589-8

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 806