Publications/Papers
-
UvA budget allocation model.
With J.A. Bergstra and S. Nolst Trenite.
Report PRG0805,
University of Amsterdam, 2008.
-
Towards a formalization of budgets.
With J.A. Bergstra and S. Nolst Trenite.
arXiv.org,
arXiv:0802.3617v1
[cs.LO], 2008.
-
Risk assessment for one-counter threads.
With A. Ponse.
To appear in Theory of Computing Systems, Springer-Verlag, 2008.
doi:10.1007/s00224-007-9034-5.
(PDF)
-
Tuplix Calculus.
With J.A. Bergstra and A. Ponse.
arXiv.org,
arXiv:0712.3423v1 [cs.LO], 2007.
-
Belnap's logic and conditional composition.
With A. Ponse.
Theoretical Computer Science 388(1-3):319-336,
Elsevier, 2007.
doi:10.1016/j.tcs.2007.09.027.
(PDF)
- A generalization of ACP using Belnap's logic.
With A. Ponse.
Journal of Logic and Algebraic Programming
70(2): 222-235, Elsevier, 2007.
-
An Introduction to Program and Thread Algebra.
With A. Ponse. In: A. Beckmann et al. (Eds.), CiE 2006, LNCS 3988:445-458.
Springer-Verlag, 2006.
(PDF)
- A generalization of ACP using Belnap's logic:
extended abstract.
With A. Ponse.
Electronic Notes in Theoretical Computer Science
162:287-293, Elsevier, 2006.
-
A semantics of communicating reactive objects with
timing.
With J. Hooman.
Int. Journal on Software Tools for Technology Transfer (STTT)
8(2):97-112,
Springer-Verlag, 2005.
-
Formalizing UML models and OCL constraints in PVS
.
With M. Kyas, H. Fecher, F.S. de Boer, J. Jacob, J. Hooman,
T. Arons, and H. Kugler.
In Semantic Foundations of Engineering Design Languages (SFEDL
2004),
Electronic Notes in Theoretical Computer Science 115:39-47. Elsevier, 2005.
(PDF)
-
Deductive verification of UML models in TLPVS.
With T. Arons, J. Hooman, H. Kugler, and A. Pnueli.
Proceedings UML 2004. LNCS 3273:335-349, Springer-Verlag, 2004.
-
Branching time and orthogonal bisimulation equivalence.
With Jan Bergstra and Alban Ponse.
Theoretical Computer Science
309:313-355. Elsevier, 2003.
(PDF)
-
Completeness of timed µCRL.
With Jan Friso Groote, Michel Reniers and Jos van Wamel.
Fundamenta Informaticae 50(3-4):361-402, 2002.
Earlier version available as
Technical Report
SEN-R0034, CWI, Amsterdam, 2000.
-
The logic of ACP.
With Alban Ponse.
Technical Report SEN-R0207,
CWI, Amsterdam, 2002.
-
The
cones and foci proof technique for timed transition systems.
Information Processing Letters 80(1):33-40, 2001.
Earlier version available as
Technical Report SEN-R0038,
CWI, Amsterdam, 2000.
-
Time-stamped actions in pCRL algebras.
Technical Report
SEN-R0002, CWI, Amsterdam, 2000.
-
The tree identify protocol of IEEE 1394 in µCRL.
With Carron Shankland.
Formal Aspects of Computing 10:509-531, 1998.
-
Some verifications in process algebra with iota.
Technical report P9806,
Programming Research Group, University of Amsterdam, April 1998.
A shorter version appeared in the proceedings of the
Third International Workshop on Formal Methods for
Industrial Critical Systems.
Eds. J.F. Groote, S.P. Luttik and J.J. van Wamel. CWI, Amsterdam, 1998.