Process algebra for hybrid systems

J.A. Bergstra, C.A. Middelburg

Research output: Contribution to journal › Article › Academic › peer-review

65 Citations (Scopus)

171 Downloads (Pure)

Original language	English
Pages (from-to)	215-280
Journal	Theoretical Computer Science
Volume	335
Issue number	2-3
DOIs	https://doi.org/10.1016/j.tcs.2004.04.019
Publication status	Published - 2005

Access to Document

@article{f2339464032449f3b9835d18fe97af92,

title = "Process algebra for hybrid systems",

author = "J.A. Bergstra and C.A. Middelburg",

year = "2005",

doi = "10.1016/j.tcs.2004.04.019",

language = "English",

volume = "335",

pages = "215--280",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "2-3",

}