A calculus of real time systems
Doctoral thesis, 1991
timed calculi
Milner's CCS
process algebras
real time systems
Author
Yi Wang
Department of Computer Sciences
Subject Categories (SSIF 2011)
Computer and Information Science
ISBN
91-7032-589-8
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 806