Mark van der Zwaag

According to our database, Mark van der Zwaag authored at least 15 papers between 1998 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

Risk Assessment for One-Counter Threads.

Alban Ponse, Mark van der Zwaag

Theory Comput. Syst., 2008

Tuplix Calculus.

Jan A. Bergstra, Alban Ponse, Mark van der Zwaag

Sci. Ann. Comput. Sci., 2008

Mechanistic Behavior of Single-Pass Instruction Sequences

Jan A. Bergstra, Mark van der Zwaag

CoRR, 2008

Tuplix Calculus Specifications of Financial Transfer Networks

Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag

CoRR, 2008

Towards a formalization of budgets

Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag

CoRR, 2008

2007

Belnap's logic and conditional composition.

Alban Ponse, Mark van der Zwaag

Theor. Comput. Sci., 2007

A generalization of ACP using Belnap's logic.

Alban Ponse, Mark van der Zwaag

J. Log. Algebraic Methods Program., 2007

2006

A semantics of communicating reactive objects with timing.

Jozef Hooman, Mark van der Zwaag

Int. J. Softw. Tools Technol. Transf., 2006

An Introduction to Program and Thread Algebra.

Alban Ponse, Mark van der Zwaag

Proceedings of the Logical Approaches to Computational Barriers, 2006

2004

Formalizing UML Models and OCL Constraints in PVS.

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler

Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004

Deductive Verification of UML Models in TLPVS.

Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag

Proceedings of the «UML» 2004, 2004

2003

Branching time and orthogonal bisimulation equivalence.

Jan A. Bergstra, Alban Ponse, Mark van der Zwaag

Theor. Comput. Sci., 2003

2002

Completeness of Timed mCRL.

Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel

Fundam. Informaticae, 2002

2001

The cones and foci proof technique for timed transition systems.

Mark van der Zwaag

Inf. Process. Lett., 2001

1998

The Tree Identify Protocol of IEEE 1394 in µCRL.

Carron Shankland, Mark van der Zwaag

Formal Aspects Comput., 1998