Ka L. Man

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Ka L. Man, Michel P. Schellekens
Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. IMECS (2007)
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Relating Hybrid Chi to Other Formalisms. Electron. Notes Theor. Comput. Sci. 191 (2007)
D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebraic Methods Program. 68 (1-2) (2006)
Ka L. Man
. DSD (2005)
Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
Case Studies in The Hybrid Process Algebra Hypa. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
Formal Semantics of Hybrid Chi. FORMATS (2003)
D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Hybrid dynamic systems: relating Chi to hybrid automata. WSC (2003)