Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 29
Number of items: 29
  • Open Access
    Baeten, J., Luttik, B., & Yang, F. (2017). Sequential composition in the presence of intermediate termination: extended abstract. Electronic Proceedings in Theoretical Computer Science, 255, 1-17. https://doi.org/10.4204/EPTCS.255.1
  • Baeten, J. C. M., Luttik, B., Muller, T., & van Tilburg, P. (2016). Expressiveness Modulo Bisimilarity Of Regular Expressions With Parallel Composition. Mathematical Structures in Computer Science, 26(6), 933-968. https://doi.org/10.1017/S0960129514000309
  • Baeten, J., & Markovski, J. (2015). The Role Of Supervisory Controller Synthesis In Automatic Control Software Development. Science of Computer Programming, 97(1), 17-22. https://doi.org/10.1016/j.scico.2013.11.016
  • Open Access
    Baeten, J., Candela, L., Fava, I., Kirchner, C., Mettrop, W., Romary, L., & Schultze, L. (2015). BOM@ERCIM - Towards an open access policy For ERCIM. ERCIM, The European Research Consortium for Informatics and Mathematics. http://www.ercim.eu/images/stories/pub/BOMatERCIM.pdf
  • Open Access
    Baeten, J. C. M., van Beek, B., Markovski, J., & Somers, L. J. A. M. (2015). Coordination Control Of Complex Machines. In J. H. van Schuppen, & T. Villa (Eds.), Coordination control of distributed systems (pp. 61-68). (Lecture notes in control and information sciences; Vol. 456). Springer. https://doi.org/10.1007/978-3-319-10407-2_8
  • Baeten, J. C. M., Luttik, B., & van Tilburg, P. (2013). Reactive Turing machines. Information and Computation, 231, 143-166. https://doi.org/10.1016/j.ic.2013.08.010
  • Baeten, J. C. M., Luttik, B., & van Tilburg, P. (2012). Turing meets Milner. In M. Koutny, & I. Ulidowski (Eds.), CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings (pp. 1-20). (Lecture Notes in Computer Science; Vol. 7454). Springer. https://doi.org/10.1007/978-3-642-32940-1_1
  • Baeten, J. C. M., Luttik, B., & van Tilburg, P. (2011). Reactive Turing machines. In O. Owe, M. Steffen, & J. A. Telle (Eds.), Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings (pp. 348-359). (Lecture Notes in Computer Science; Vol. 6914). Springer. https://doi.org/10.1007/978-3-642-22953-4_30
  • Baeten, J. C. M., & Bergstra, J. A. (2006). Six Themes for Future Concurrency Research. Electronic Notes in Theoretical Computer Science, 162, 61-64.
  • Baeten, J. C. M., Bergstra, J. A., & Reniers, M. A. (2000). Discrete time process algebra with silent step. In G. Plotkin, C. Stirling, & M. Tofte (Eds.), Proof, Language and Interaction: Essays in Honour of Robin Milner (pp. 535-569). MIT Press.
Page 1 of 3