Publication
-
January 2007
-
January 2007
-
January 2007
-
On Composition and Refinement of Domain-Specific Languages in the Model of Language Family In Proceedings
January 2007 -
Process Algebra Book Chapter
January 2007 -
Application of the Jacobi-Davidson method to spectral calculations in magnetohydrodynamics In Proceedings
January 2007
-
Duplication of Constants in Process Algebra Article
Journal of Logic and Algebraic Programming, 70(2), 151-171.January 2007 -
A Characterization of Regular Expressions under Bisimulation Article
Journal of the ACM, 54(2), 1-28.January 2007