Mark van der Zwaag

Publication Activity (10 Years)

Years Active: 1998-2008
Publications (10 Years): 0

Publications

Jan A. Bergstra, Mark van der Zwaag
Mechanistic Behavior of Single-Pass Instruction Sequences CoRR (2008)
Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag
Towards a formalization of budgets CoRR (2008)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Tuplix Calculus. Sci. Ann. Comput. Sci. 18 (2008)
Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag
Tuplix Calculus Specifications of Financial Transfer Networks CoRR (2008)
Alban Ponse, Mark van der Zwaag
Risk Assessment for One-Counter Threads. Theory Comput. Syst. 43 (3-4) (2008)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Tuplix Calculus CoRR (2007)
Alban Ponse, Mark van der Zwaag
A generalization of ACP using Belnap's logic. J. Log. Algebraic Methods Program. 70 (2) (2007)
Alban Ponse, Mark van der Zwaag
Belnap's logic and conditional composition. Theor. Comput. Sci. 388 (1-3) (2007)
Alban Ponse, Mark van der Zwaag
An Introduction to Program and Thread Algebra. CiE (2006)
Alban Ponse, Mark van der Zwaag
A Generalization of ACP Using Belnap's Logic. Electron. Notes Theor. Comput. Sci. 162 (2006)
Jozef Hooman, Mark van der Zwaag
A semantics of communicating reactive objects with timing. Int. J. Softw. Tools Technol. Transf. 8 (2) (2006)
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. Electron. Notes Theor. Comput. Sci. 115 (2005)
Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
Deductive Verification of UML Models in TLPVS. UML (2004)
Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. 309 (1-3) (2003)
Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
Completeness of Timed mCRL. Fundam. Informaticae 50 (3-4) (2002)
Mark van der Zwaag
The cones and foci proof technique for timed transition systems. Inf. Process. Lett. 80 (1) (2001)
Carron Shankland, Mark van der Zwaag
The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Aspects Comput. 10 (5-6) (1998)