DMCA
Process algebra for hybrid systems (2003)
by
J. A. Bergstra
,
C. A. Middelburg
| Venue: | Theoretical Computer Science |
| Citations: | 41 - 4 self |
BibTeX
@TECHREPORT{Bergstra03processalgebra,
author = {J. A. Bergstra and C. A. Middelburg},
title = {Process algebra for hybrid systems},
institution = {Theoretical Computer Science},
year = {2003}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We propose a process algebra obtained by extending a combination of the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, Chap. 4, 2002] and the process algebra with propositional signals from Baeten and
