Mark van der Zwaag

	2008
15		Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Towards a formalization of budgets CoRR abs/0802.3617: (2008)
14		Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag: Tuplix Calculus Specifications of Financial Transfer Networks CoRR abs/0805.1806: (2008)
13		Jan A. Bergstra, Mark van der Zwaag: Mechanistic Behavior of Single-Pass Instruction Sequences CoRR abs/0809.4635: (2008)
	2007
12		Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Tuplix Calculus CoRR abs/0712.3423: (2007)
11		Alban Ponse, Mark van der Zwaag: A generalization of ACP using Belnap's logic. J. Log. Algebr. Program. 70(2): 222-235 (2007)
10		Alban Ponse, Mark van der Zwaag: Belnap's logic and conditional composition. Theor. Comput. Sci. 388(1-3): 319-336 (2007)
	2006
9		Alban Ponse, Mark van der Zwaag: An Introduction to Program and Thread Algebra. CiE 2006: 445-458
8		Alban Ponse, Mark van der Zwaag: A Generalization of ACP Using Belnap's Logic. Electr. Notes Theor. Comput. Sci. 162: 287-293 (2006)
7		Jozef Hooman, Mark van der Zwaag: A semantics of communicating reactive objects with timing. STTT 8(2): 97-112 (2006)
	2005
6		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. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)
	2004
5		Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag: Deductive Verification of UML Models in TLPVS. UML 2004: 335-349
	2003
4		Jan A. Bergstra, Alban Ponse, Mark van der Zwaag: Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. 309(1-3): 313-355 (2003)
	2002
3		Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel: Completeness of Timed mCRL. Fundam. Inform. 50(3-4): 361-402 (2002)
	2001
2		Mark van der Zwaag: The cones and foci proof technique for timed transition systems. Inf. Process. Lett. 80(1): 33-40 (2001)
	1998
1		Carron Shankland, Mark van der Zwaag: The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Asp. Comput. 10(5-6): 509-531 (1998)

Coauthor Index

1	Tamarah Arons	[5] [6]
2	Jan A. Bergstra	[4] [12] [13] [14] [15]
3	Frank S. de Boer	[6]
4	Harald Fecher	[6]
5	Jan Friso Groote	[3]
6	Jozef Hooman	[5] [6] [7]
7	Joost Jacob	[6]
8	Hillel Kugler	[5] [6]
9	Marcel Kyas	[6]
10	Amir Pnueli	[5]
11	Alban Ponse	[4] [8] [9] [10] [11] [12]
12	Michel A. Reniers	[3]
13	Carron Shankland	[1]
14	Sanne Nolst Trenité	[14] [15]
15	Jos van Wamel	[3]

Colors in the list of coauthors