North-Holland
Journal of Logic and Algebraic Programming
Computer Security

Baeten, J., & Luttik, B. (2006). Guest editors’ introduction: Special issue on Process Theory for hybrid systems. Journal of Logic and Algebraic Programming, 68, 1–3.