Yazar
Chaochen Zhou
5 cilt bulundu.
Cilt sonuçları
Duration Calculus
Zhou Chaochen · Springer Berlin Heidelberg
250 sayfa · 2004
Logic design / Computer science / Software engineering / Mathematics, data processing / Real-time data processing
Duration calculus
Chaochen Zhou, Michael R. Hansen · Springer
247 sayfa · 2004
Mathematics / Real-time data processing / Formal methods (Computer science) / Data processing / Mathematics, data processing
The consistency of the calculus of total correctness for communicating processes
Zhou Chaochen · Oxford University.Computing Laboratory.Programming Research Group
Sayfa sayısı yok · 1982
Kategori yok
Partial correctness of communicating processes and protocols
Zhou Chaochen · Oxford University, Computing Laboratory, Programming Research Group
Sayfa sayısı yok · 1981
Kategori yok