| [1] |
J.C.M. Baeten and E.P. de Vink.
Axiomatizing gsos with termination.
In H. Alt and A. Ferreira, editors, Proc. STACS 2002, pages
583-595. LNCS 2295, 2002. [ bib ] |
| [2] |
L. Groenewegen and E. de Vink.
Operational semantics for coordination in paradigm.
In F. Arbab and C. Talcott, editors, Proceedings Coordination
2002, pages 191-206. Lecture Notes in Computer Science 2315, 2002. [ bib ] |
| [3] |
N. Agray, W. van der Hoek, and E. de Vink.
On ban logics for industrial security protocols.
In B. Dunin-Keplicz and E. Nawarecki, editors, From Theory to
Practice in Multi-Agent Systems, pages 29-38. LNAI 2296, 2002. [ bib ] |
| [4] |
J.I. den Hartog, E.P. de Vink, and J.W. de Bakker.
Metric semantics and full abstraction for action refinement and
probabilistic choice.
In T. Hurley, M. Mac an Airchinnigh, M. Schellekens, and T. Seda,
editors, Proc. MFCSIT'00. ENTCS 40, 2002. [ bib ] |
| [5] |
A. Sokolova and E.P. de Vink.
Algebraic representation of bisimulation for the tagh-format.
Technical Report CSR 02-02, Technische Universiteit Eindhoven, 2002. [ bib ] |
| [6] |
J.I. den Hartog and E.P. de Vink.
Verifying probabilistic programs using a hoare-like logic.
International Journal of Foundations of Computer Science, 13,
2002.
315-340. [ bib ] |
| [7] |
D. Chkliaev, J. Hooman, and E. de Vink.
Formal verification of an improved sliding window protocol.
In Proceedings PROGRESS Workshop 2002, page 8pp. STW, Utrecht,
2002. [ bib ] |
| [8] |
J.I. den Hartog and E. de Vink.
Building metric structures with the meas-functor.
In F. de Boer, Marlin van der Heijden, Paul Klint, and Jan Rutten,
editors, Liber Americorum Jaco de Bakker, pages 93-108. CWI,
Amsterdam, 2002. [ bib ] |
| [9] |
A. Stam.
A framework for coordinating parallel branch and bound algorithms.
In Farhad Arbab and Carolyn L. Talcott, editors, Coordination
Models and Languages, 5th International Conference, COORDINATION 2002, YORK,
UK, April 8-11, 2002, Proceedings, volume 2315 of Lecture Notes in
Computer Science, pages 332-339. Springer, 2002. [ bib ] |
| [10] |
M.M. Bonsangue, J.N. Kok, and G. Zavattaro.
Comparing coordination models and architectures using embeddings.
In Science of Computer Programming, 46(1-2), pages 31-69,
October 2002. [ bib ] |
| [11] |
S.M. Bohte, H. La Poutré, and J.N. Kok.
Unsupervised classification in a network of spiking neurons.
In IEEE Transactions on Neural Networks, 13(2), pages 426-435,
March 2002. [ bib ] |
| [12] |
J. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue.
Mocha: a middleware based on mobile channels.
In Proceedings of 26th International conference on Computer
Software and Application Conference (COMPSAC 02), vol. 1727 of IEEE Computer
Society Press, pages 667-673, 2002. [ bib ] |
| [13] |
J. Guillen-Scholten, F. Arbab, F.S. de Boer, and M.M. Bonsangue.
Mobile channels, implementation within and outside components.
In A. Brogi and E. Pimintel, editors, Proceedings of Formal
Methods and Component Interaction, ENTCS 66(4). Elsevier Science, 2002. [ bib ] |
| [14] |
F. Arbab, F. S. de Boer, M. M. Bonsangue, and J.V. Guillen Scholten.
A channel based coordination model for components.
In A. Brogi and J.-M.Jacquet, editors, Proceedings of the 1st
International Workshop on Foundations of Coordination Languages and Software
Architectures (FoCLaSA 02), ENTCS 68(3). Elsevier Science, 2002. [ bib ] |
| [15] |
M.M. Bonsangue.
Towards a type-theoretic interpretation of components.
In NVTI Nieuwsbrief 6, pages 13-21, 2002. [ bib ] |
| [16] |
F. Arbab, M.M. Bonsangue, J.V. Guillen-Scholten, M.E. Jacob, H. Jonkers,
M. Lankhorst, E. Proper, and A. Stam.
State of the art in architecture frameworks and tools.
Technical Report ArchiMate phase 0, deliverable 2, May 2002. [ bib | http ] |
| [17] |
F. de Boer, M.M. Bonsangue, R. van Buuren, L. Groenewegen, S. Hoppenbrouwers,
H. Jonkers, M. Lankhorst, E. Proper, and A. Stam.
Concepts for architectural description.
Technical Report ArchiMate deliverable 2.2.1, November 2002. [ bib | http ] |
| [18] |
M.E. Iacob, H. Jonkers, M. Lankhorst, R. van Buuren, L. Groenewegen, K.-H.
Cheung, M.M. Bonsangue, and N. van Kampenhout.
State of the art in architecture concepts and description.
Technical Report ArchiMate deliverable 2.1, November 2002. [ bib | http ] |