Jos C. M. Baeten profile picture

Jos C. M. Baeten

Is this your author profile? Create an account to customize it!

Stand Alone

Formalizing Programming Variables in Process Algebra
Automata, Languages and Programming
Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
CONCUR'99. Concurrency Theory 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
CONCUR '91 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings