Real time process algebra with time-dependent conditions

Research output: Book/Report › Report › Academic

110 Downloads (Pure)

(Logic Group Preprint Series ; 200)

Access to Document

@book{5e5290a2a2514e10ac6d632bd2d6a2f6,

title = "Real time process algebra with time-dependent conditions",

author = "J.C.M. Baeten and C.A. Middelburg",

note = "(Logic Group Preprint Series ; 200)",

year = "2000",

language = "English",

isbn = "90-393-2366-6",

series = "Logic Group Preprint Series",

publisher = "Utrecht University",

address = "Netherlands",

}