Journal of Logic and Algebraic Programming, Volume 68

Volume 68, Numbers 1-2, June-July 2006

• Jos C. M. Baeten, S. P. Luttik:
  Guest editors' introduction: Special issue on Process Theory for Hybrid Systems. 1-3
  Electronic Edition (link) BibTeX
• Jan A. Bergstra, C. A. Middelburg:
  Continuity controlled hybrid automata. 5-53
  Electronic Edition (link) BibTeX
• P. C. W. den Brand van, Michel A. Reniers, Pieter J. L. Cuijpers:
  Linearization of hybrid processes. 54-104
  Electronic Edition (link) BibTeX
• Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky:
  Compositional modeling and refinement for hierarchical hybrid systems. 105-128
  Electronic Edition (link) BibTeX
• D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers:
  Syntax and consistent equation semantics of hybrid Chi. 129-210
  Electronic Edition (link) BibTeX