author- IEEE Software 23(2):40-- 46 (April 2006)
- chapter A Component Framework for Consumer Electronics Middleware, page 164-184. Springer Verlag, (2005)
- CoRR (2006)
- CBSE, volume 3054 of Lecture Notes in Computer Science, page 162-177. Springer, (2004)
- Journal of Logic, Language and Information 10(4):417-455 (2001)
- Amsterdam Colloquium on Logic, Language and Meaning, volume 6042 of Lecture Notes in Computer Science, page 104-113. Springer, (2009)
- Computer 43(7):27-34 (July 2010)
- IEEE Software (2006)
- Journal of Logic, Language and Information 19(2):129-136 (2010)
- IEEE Computer 43(7):27-34 (2010)
- J. Symb. Log. 72(1):98-118 (2007)
- JELIA, volume 633 of Lecture Notes in Computer Science, page 52-64. Springer, (1992)
- JELIA, volume 478 of Lecture Notes in Computer Science, page 412-427. Springer, (1990)
- eTELEMED, page 13-18. IEEE Computer Society, (2009)
- Technische Universiteit Eindhoven, (2002)
- Proc. Conf. EUROMICRO, page 372--379. Washington, DC, USA, (2004)
- Events and More in Dynamic Semantics, DYANA deliverable R.2.2.C, (1995)
- IEEE Software 23(2):40-46 (2006)
- Technische Universiteit Eindhoven, (2002)
- Proc. Conf. EUROMICRO, page 372--379. Washington, DC, USA, IEEE Computer Society, (2004)
