Mark van der Zwaag - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2008

Towards a formalization of budgetsJan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag. corr, abs/0802.3617, 2008. [doi]

Tuplix CalculusJan A. Bergstra, Alban Ponse, Mark van der Zwaag. cuza, 18:35-61, 2008. [doi]

Mechanistic Behavior of Single-Pass Instruction SequencesJan A. Bergstra, Mark van der Zwaag. corr, abs/0809.4635, 2008. [doi]

Tuplix Calculus Specifications of Financial Transfer NetworksJan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag. corr, abs/0805.1806, 2008. [doi]

Risk Assessment for One-Counter ThreadsAlban Ponse, Mark van der Zwaag. mst, 43(3-4):563-582, 2008. [doi]

2007

Tuplix CalculusJan A. Bergstra, Alban Ponse, Mark van der Zwaag. corr, abs/0712.3423, 2007. [doi]

A generalization of ACP using Belnap s logicAlban Ponse, Mark van der Zwaag. jlp, 70(2):222-235, 2007. [doi]

Belnap s logic and conditional compositionAlban Ponse, Mark van der Zwaag. TCS, 388(1-3):319-336, 2007. [doi]

2006

A semantics of communicating reactive objects with timingJozef Hooman, Mark van der Zwaag. STTT, 8(2):97-112, 2006. [doi]

An Introduction to Program and Thread AlgebraAlban Ponse, Mark van der Zwaag. cie 2006: 445-458 [doi]

A Generalization of ACP Using Belnap s LogicAlban Ponse, Mark van der Zwaag. ENTCS, 162:287-293, 2006. [doi]

2005

Formalizing UML Models and OCL Constraints in PVSMarcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler. ENTCS, 115:39-47, 2005. [doi]

2004

Deductive Verification of UML Models in TLPVSTamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag. uml 2004: 335-349 [doi]

2003

Branching time and orthogonal bisimulation equivalenceJan A. Bergstra, Alban Ponse, Mark van der Zwaag. TCS, 309(1-3):313-355, 2003. [doi]

2002

Completeness of Timed mCRLMichel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel. FUIN, 50(3-4):361-402, 2002.

2001

The cones and foci proof technique for timed transition systemsMark van der Zwaag. ipl, 80(1):33-40, 2001. [doi]

1998

The Tree Identify Protocol of IEEE 1394 in µCRLCarron Shankland, Mark van der Zwaag. fac, 10(5-6):509-531, 1998. [doi]

Sign in or sign up to see more results.

runs on WebDSL