Mark van der Zwaag

17 papers C 1Journal 13Unranked 3

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	Mechanistic Behavior of Single-Pass Instruction Sequences CoRR Jan A. Bergstra, Mark van der Zwaag
2008	J	`jnl`	Risk Assessment for One-Counter Threads. Theory Comput. Syst. Alban Ponse, Mark van der Zwaag
2008	J	`jnl`	Towards a formalization of budgets CoRR Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag
2008	J	`jnl`	Tuplix Calculus Specifications of Financial Transfer Networks CoRR Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag
2008	J	`jnl`	Tuplix Calculus. Sci. Ann. Comput. Sci. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	A generalization of ACP using Belnap's logic. J. Log. Algebraic Methods Program. Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	Belnap's logic and conditional composition. Theor. Comput. Sci. Alban Ponse, Mark van der Zwaag
2007	J	`jnl`	Tuplix Calculus CoRR Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2006	J	`jnl`	A semantics of communicating reactive objects with timing. Int. J. Softw. Tools Technol. Transf. Jozef Hooman, Mark van der Zwaag
2006	C	`conf`	An Introduction to Program and Thread Algebra. CiE Alban Ponse, Mark van der Zwaag
2005	—	`conf`	A Generalization of ACP Using Belnap's Logic. APC 25 Alban Ponse, Mark van der Zwaag
2004	—	`conf`	Deductive Verification of UML Models in TLPVS. UML Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag
2004	—	`conf`	Formalizing UML Models and OCL Constraints in PVS. SFEDL@ETAPS Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
2003	J	`jnl`	Branching time and orthogonal bisimulation equivalence. Theor. Comput. Sci. Jan A. Bergstra, Alban Ponse, Mark van der Zwaag
2002	J	`jnl`	Completeness of Timed mCRL. Fundam. Informaticae Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel
2001	J	`jnl`	The cones and foci proof technique for timed transition systems. Inf. Process. Lett. Mark van der Zwaag
1998	J	`jnl`	The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Aspects Comput. Carron Shankland, Mark van der Zwaag