| [1] |
In F.S. de Boer and M.M. Bonsangue, editors, Proceedings of the Workshop
on the Compositional Verification of UML Models (CVUML), volume 101, pages
1-179. Elsevier Science, 2004. [ bib ] |
| [2] |
In F.S. de Boer, M.M. Bonsangue, S. Graf, and W.-P. de Roever, editors,
Revised lectures of the Second International Symposium on Formal Methods on
Components and Objects (FMCO 2003), volume 3188, pages 1-368.
Springer-Verlag, 2004. [ bib ] |
| [3] |
Concepts for modelling enterprise architectures.
special issue on Architecture in IT of the International Journal
of Cooperative Information Systems, 13(3):257-287, 2004. [ bib ] |
| [4] |
M.J. Wiering, M.M. Bonsangue, R. van Buuren, L.P.J. Groenewegen, H. Jonkers,
and M. Lankhorst.
Investigating the mapping of an enterprise description language into
uml 2.0.
In Proceedings of the Workshop on the Compositional Verification
of UML Models (CVUML), volume 101 of Electronic Notes in Theoretical
Computer Science, pages 155-179. Elsevier Science, November 2004. [ bib ] |
| [5] |
E. Abraham, M.M. Bonsangue, F.S. de Boer, and M. Steffen.
Object connectivity and full abstraction for a concurrent calculus of
classes.
In Proceedings of First International Colloquium on Theoretical
Aspects of Computing (ICTAC 2004), volume 3407 of Lecture Notes in
Computer Science, pages 38-52. Springer. [ bib ] |
| [6] |
A. Ehrenfeucht and G. Rozenberg.
Flux systems, flows and self-assembly.
In J. Reif, editor, Proceedings of the conference Foundations of
Nanoscience: Self-assembled architectures and devices, Snowbird, Utah 2004,
volume 59, 2004. [ bib ] |
| [7] |
F. Bartels, A. Sokolova, and E.P. de Vink.
A hierarchy of probabilistic system types.
Theoretical Computer Science, 2004.
CMCS 2004 Special Issue. 24pp. To appear. [ bib ] |
| [8] |
Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldrige,
editors.
Proc. first international workshop on Logic and Communication
in Multi-Agent Systems LCMAS 2003. ENTCS volume 85, issue 2, 2004. [ bib ] |
| [9] |
A. Sokolova and E.P. de Vink.
Probabilistic automata: system types, parallel composition and
comparison.
In C. Baier, B.R. Haverkort, H. Hermanns, J.-P. Katoen, and
M. Siegle, editors, Validation of Stochastic Systems: A Guide to Current
Research, pages 1-43. LNCS 2925, 2004. [ bib ] |
| [10] |
A. Hommersom, J.-J.Ch. Meyer, and E.P. de Vink.
A semantics approach to reasoning about security protocols.
In W. van der Hoek et al., editor, Proc. LCMAS 2004, page
18pp, Nancy, 2004. ESSLLI. [ bib ] |
| [11] |
A. Sokolova, E.P. de Vink, and H. Woracek.
Weak bisimulation for action-type systems (extended abstract).
In Proc. CTCS 2004, Copenhagen, 2004. ENTCS.
17pp. [ bib ] |
| [12] |
S. Mauw, J. Verschuren, and E.P. de Vink.
A formalization of anonymity and onion routing.
In P. Samarati, P. Ryan, D. Gollmann, and R. Molva, editors,
Proc. Esorics 2004, pages 109-124, Sophia Antipolis, 2004. LNCS 3193. [ bib ] |