Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 131
Number of items: 131
  • 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. (2005). Strong splitting bisimulation equivalence. In J. L. Fiadeiro, N. Harman, M. Roggenbach, & J. Rutten (Eds.), Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings (pp. 85-99). (Lecture Notes in Computer Science; Vol. 3629). Springer. https://doi.org/10.1007/11548133_6
  • 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)
Page 13 of 14