Search the dblp DataBase

Publications of Author

1. Ka L. Man
   Formal Communication Semantics of SystemC^FL. [Citation Graph (0, 0)][DBLP]
   DSD, 2005, pp:338-345 [Conf]
   
2. Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda
   Formal Semantics of Hybrid Chi. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:151-165 [Conf]
   
3. D. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
   Hybrid dynamic systems: relating Chi to hybrid automata. [Citation Graph (0, 0)][DBLP]
   Winter Simulation Conference, 2003, pp:632-640 [Conf]
   
4. Ka L. Man, Michel A. Reniers, Pieter J. L. Cuijpers
   Case Studies in The Hybrid Process Algebra Hypa. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:2, pp:299-306 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:129-210 [Journal]
   
6. 
   Analysis of a Mixed-Signal Circuit in Hybrid Process Algebra ACPsrt. [Citation Graph (, )][DBLP]
   
   
7. 
   Relating Hybrid Chi to Other Formalisms. [Citation Graph (, )][DBLP]