Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 29
Number of items: 29
  • Baeten, J. C. M., & Bergstra, J. A. (2000). Mode Transfer in Process Algebra. (Report CSR; No. 00-01). TU Eindhoven.
  • Baeten, J. C. M., & Bergstra, J. A. (1997). Bounded bags, stacks and queues. In A. Mazurkiewicz, & J. Winkowski (Eds.), Proceedings CONCUR 1997 (pp. 104-118). (LNCS; No. 1243). Springer-Verlag.
  • Baeten, J. C. M., & Bergstra, J. A. (1997). Discrete time process algebra, absolute time, relative time and parametric time. Fundamenta Informaticae, 29, 51-76.
  • Baeten, J. C. M., & Bergstra, J. A. (1997). Process algebra with propositional signals. Theoretical Computer Science, 177(2), 381-405. https://doi.org/10.1016/S0304-3975(96)00253-8
  • Vereijken, J. J. (1997). Discrete Time Process Algebra. [Thesis, fully external, Eindhoven University of Technology].
  • Baeten, J. C. M., & Bergstra, J. A. (1995). Discrete time process algebra with abstraction. In H. Reichel (Ed.), FCT'95 (pp. 1-15). (Lecture Notes in Computer Science; No. 965). Springer-Verlag.
  • Baeten, J. C. M., & Bergstra, J. A. (1995). Process algebra with propositional signals. In C. Verhoef, A. Ponse, & S. F. M. van Vlijmen (Eds.), De proceedings: ACP'95 (pp. 213-228)
  • Baeten, J. C. M., Bergstra, J. A., & Stefanescu, G. (1995). Process algebra with feedback. In M. de Rijke, A. Ponse, & Y. Venema (Eds.), Modal Logic and Process Algebra (pp. 13-38). (CSLI Lecture Notes; No. 53). CSLI Publications.
  • Baeten, J. C. M., & Bergstra, J. A. (1995). Discrete time process algebra (revised version of P9208b). (Technical Report; No. P9208c). onbekend (FdL).
  • Open Access
    Baeten, J. C. M., Bergstra, J. A., & Smolka, S. A. (1995). Axiomatizing probabilistic processes: ACP with generative probabilities. Information and Computation, 121(2), 234-254. https://doi.org/10.1006/inco.1995.1135
Page 2 of 3