'Process algebra with timing: real time and discrete time'

J.C.M. Baeten, C.A. Middelburg

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Cite this

@inbook{5c5dc7d6a3574360819ea2cecb673e59,

title = "'Process algebra with timing: real time and discrete time'",

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

year = "2001",

language = "Undefined/Unknown",

publisher = "Elsevier",

editor = "J.A. Bergstra and A Ponse and S.A. Smolka",

booktitle = "Handbook of Process Algebra",

address = "Netherlands",

}