Search the dblp DataBase

Publications of Author

1. Alban Ponse, Mark van der Zwaag
   An Introduction to Program and Thread Algebra. [Citation Graph (0, 0)][DBLP]
   CiE, 2006, pp:445-458 [Conf]
   
2. Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
   Deductive Verification of UML Models in TLPVS. [Citation Graph (0, 0)][DBLP]
   UML, 2004, pp:335-349 [Conf]
   
3. Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
   Formalizing UML Models and OCL Constraints in PVS. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
   
4. Alban Ponse, Mark van der Zwaag
   A Generalization of ACP Using Belnap's Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:287-293 [Journal]
   
5. Carron Shankland, Mark van der Zwaag
   The Tree Identify Protocol of IEEE 1394 in µCRL. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1998, v:10, n:5-6, pp:509-531 [Journal]
   
6. Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
   Completeness of Timed mCRL. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:50, n:3-4, pp:361-402 [Journal]
   
7. Mark van der Zwaag
   The cones and foci proof technique for timed transition systems. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2001, v:80, n:1, pp:33-40 [Journal]
   
8. Jozef Hooman, Mark van der Zwaag
   A semantics of communicating reactive objects with timing. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:2, pp:97-112 [Journal]
   
9. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
   Branching time and orthogonal bisimulation equivalence. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:309, n:1-3, pp:313-355 [Journal]
   
10. Alban Ponse, Mark van der Zwaag
    A generalization of ACP using Belnap's logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:2, pp:222-235 [Journal]
    
11. 
    Tuplix Calculus [Citation Graph (, )][DBLP]
    
    
12. 
    Towards a formalization of budgets [Citation Graph (, )][DBLP]
    
    
13. 
    Tuplix Calculus Specifications of Financial Transfer Networks [Citation Graph (, )][DBLP]
    
    
14. 
    Mechanistic Behavior of Single-Pass Instruction Sequences [Citation Graph (, )][DBLP]