'Discrete time process algebra and the semantics of SDL'

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

Cite this

@inbook{c9a3220831bf459fb5b02df19dc79ca5,

title = "'Discrete time process algebra and the semantics of SDL'",

author = "J.A. Bergstra and C.A. Middelburg and Y.S. Usenko",

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",

}