Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 130
Number of items: 130
  • Bergstra, J. A., & Middelburg, C. A. (2005). Process algebra for hybrid systems. Theoretical Computer Science, 335, 215-280. https://doi.org/10.1016/j.tcs.2004.04.019
  • Bergstra, J. A., & Middelburg, C. A. (2004). Process Algebra for Hybrid Systems. (Logic Group Preprint Series; No. 225). Universiteit van Utrecht.
  • Bergstra, J. A., & Middelburg, C. A. (2004). Located Actions in Process Algebra with Timing. Fundamenta Informaticae, 64, 183-211.
  • Bergstra, J. A., Middelburg, C. A., & Usenko, Y. S. (2001). Discrete time process algebra and the semantics of SDL. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 1209-1268). Elsevier.
  • Bergstra, J. A., Middelburg, C. A., & Stefanescu, G. (1997). Network algebra for asynchronous dataflow. International Journal of Computer Mathematics, 65, 57-88. https://doi.org/10.1080/00207169708804599
  • Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1996). Algebra of timed frames. International Journal of Computer Mathematics, 61, 227-255. https://doi.org/10.1080/00207169608804514
  • Bergstra, J. A., Fokkink, W. J., & Middelburg, C. A. (1995). Algebra of timed frames. (Logic Group Preprint Series; No. 148). Utrecht University.
  • Bergstra, J. A., & Middelburg, C. A. (1995). Process algebra semantics of $\varphi${SDL}. (Logic Group Preprint Series; No. 129). Utrecht University.
  • Bergstra, J. A., & Middelburg, C. A. (1995). Process algebra semantics of $\varphi${SDL}. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 309-346)
  • Bergstra, J. A., Middelburg, C. A., & Stefanescu, G. (1995). Network algebra for synchronous and asynchronous dataflow. (Technical Report; No. P9508). onbekend (FdL).
Page 13 of 13