| [1] |
J.C.M. Baeten and E.P. de Vink.
Axiomatizing gsos with termination.
Technical Report CSR 01-06, Technische Universiteit Eindhoven, 2001. [ bib ] |
| [2] |
J.I. den Hartog, E.P. de Vink, and J.W. de Bakker.
Metric semantics and full abstractness for action refinement and
probabilistic choice.
In M. Schellekens and T. Seda, editors, Proceedings of the
MFCSIT'00, volume 40 of ENTCS, 2001.
to appear. [ bib ] |
| [3] |
W. N. Agray, van der Hoek, and E.P. de Vink.
On ban logics for industrial security protocols.
In B. Dunin-Keplicz and E. Nawarecki, editors, Proceedings of
the CEEMAS'01, pages 15-24, 2001.
Preliminary version presented at BNAIC'01, Amsterdam 2001. [ bib ] |
| [4] |
M.M. Bonsangue, J.N. Kok, and G. Zavattaro.
Comparing coordination models and architectures using embeddings.
Science of Computer Programming, 2001. [ bib ] |
| [5] |
M.M. Bonsangue and J.N. Kok.
Infinite intersection and union types for the lazy lambda calculus.
In N. Kobayashi and B. Pierce, editors, Proceedings of the 4th
Symposium on Theoretical Aspects of Computer Software (TACS2001), volume
2215 of Lecture Notes in Computer Science, pages 448-458.
Springer-Verlag, 2001. [ bib ] |