FAST2002.bib
@INPROCEEDINGS{stacs2002,
AUTHOR = {Baeten, J.C.M. and Vink, E.P. de},
TITLE = {Axiomatizing GSOS with Termination},
BOOKTITLE = {Proc.\ STACS~2002},
PAGES = {583--595},
YEAR = 2002,
EDITOR = {H. Alt and A. Ferreira},
PUBLISHER = {LNCS~2295}
}
@INPROCEEDINGS{coordination2002,
AUTHOR = {L. Groenewegen and Vink, E. de},
TITLE = {Operational Semantics for Coordination in Paradigm},
BOOKTITLE = {Proceedings Coordination 2002},
EDITOR = {F. Arbab and C. Talcott},
PUBLISHER = {Lecture Notes in Computer Science~2315},
PAGES = {191--206},
YEAR = {2002}
}
@INPROCEEDINGS{lnai2296,
AUTHOR = {N. Agray and Hoek, W. van der and Vink, E. de},
TITLE = {On BAN Logics for Industrial Security Protocols},
BOOKTITLE = {From Theory to Practice in Multi-Agent Systems},
EDITOR = {B. Dunin-Keplicz and E. Nawarecki},
PAGES = {29--38},
PUBLISHER = {LNAI~2296},
YEAR = {2002}
}
@INPROCEEDINGS{mfcsit00,
AUTHOR = {J.I. den Hartog and Vink, E.P. de and Bakker, J.W. de},
TITLE = {Metric semantics and full abstraction for action refinement
and probabilistic choice},
BOOKTITLE = {Proc. MFCSIT'00},
EDITOR = {T. Hurley and M. Mac-an-Airchinnigh and M. Schellekens and T. Seda},
CITY = {Cork},
PUBLISHER = {ENTCS~40},
YEAR = {2002}
}
@TECHREPORT{tue0106,
AUTHOR = {Sokolova, A. and Vink, E.P. de},
TITLE = {Algebraic representation of bisimulation for the tagh-format},
INSTITUTION = {Technische Universiteit Eindhoven},
NUMBER = {CSR 02--02},
YEAR = {2002}
}
@ARTICLE{ijfcs02,
AUTHOR = {Hartog, J.I. den and Vink, E.P. de},
TITLE = {Verifying probabilistic programs using a Hoare-like logic},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {13},
YEAR = {2002},
NOTE = {315--340}
}
@INPROCEEDINGS{progress02,
AUTHOR = {D. Chkliaev and J. Hooman and Vink, E. de},
TITLE = {Formal Verification of an Improved Sliding Window Protocol},
BOOKTITLE = {Proceedings PROGRESS Workshop 2002},
PAGES = {8pp},
PUBLISHER = {STW, Utrecht},
YEAR = {2002}
}
@INPROCEEDINGS{liberjaco02,
AUTHOR = {J.I. den Hartog and Vink, E. de},
TITLE = {Building Metric Structures with the Meas-Functor},
BOOKTITLE = {Liber Americorum Jaco de Bakker},
EDITOR = {Boer, F. de and Heijden, Marlin van der and
Klint, Paul and Rutten, Jan},
PAGES = {93--108},
PUBLISHER = {CWI, Amsterdam},
YEAR = {2002}
}
@INPROCEEDINGS{s02,
AUTHOR = {A. Stam},
TITLE = {A Framework for Coordinating Parallel Branch and Bound Algorithms},
BOOKTITLE = {Coordination Models and Languages, 5th International
Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002, Proceedings},
EDITOR = {Farhad Arbab and Carolyn L. Talcott},
PAGES = {332-339},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {2315},
YEAR = {2002},
ISBN = {3-540-43410-0},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{bkz02SCP,
AUTHOR = {M.M. Bonsangue and J.N. Kok and G. Zavattaro},
TITLE = {Comparing coordination models and architectures using embeddings},
BOOKTITLE = {Science of Computer Programming, {46(1-2)}},
PAGES = {31-69},
MONTH = {October},
YEAR = {2002}
}
@INPROCEEDINGS{blk02,
AUTHOR = {S.M. Bohte and H. La Poutr{\'e} and J.N. Kok},
TITLE = {Unsupervised classification in a Network of spiking neurons},
BOOKTITLE = {IEEE Transactions on Neural Networks, 13(2)},
MONTH = {March},
YEAR = {2002},
PAGES = {426-435}
}
@INPROCEEDINGS{gabb02a,
AUTHOR = {J. Guillen-Scholten and F. Arbab and F.S. de Boer and M.M. Bonsangue},
TITLE = {MoCha: a Middleware Based on Mobile Channels},
BOOKTITLE = {Proceedings of 26th International conference on Computer Software and Application Conference (COMPSAC 02), vol. 1727 of IEEE Computer Society Press},
PAGES = {667-673},
YEAR = {2002}
}
@INPROCEEDINGS{gabb02b,
AUTHOR = {J. Guillen-Scholten and F. Arbab and F.S. de Boer and M.M. Bonsangue},
TITLE = {Mobile Channels, Implementation Within and Outside Components},
BOOKTITLE = {Proceedings of Formal Methods and Component Interaction, ENTCS 66(4)},
EDITOR = {A. Brogi and E. Pimintel},
PUBLISHER = {Elsevier Science},
YEAR = {2002}
}
@INPROCEEDINGS{abbg02,
AUTHOR = {F. Arbab and F. S. de Boer and M. M. Bonsangue and J.V. Guillen Scholten},
TITLE = {A channel based coordination model for components},
EDITOR = {A. Brogi and J.-M.Jacquet},
BOOKTITLE = {Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures (FoCLaSA 02), ENTCS 68(3)},
PUBLISHER = {Elsevier Science},
YEAR = {2002}
}
@INPROCEEDINGS{b02g,
AUTHOR = {M.M. Bonsangue},
TITLE = {Towards a type-theoretic interpretation of components},
BOOKTITLE = {NVTI Nieuwsbrief 6},
PAGES = {13-21},
YEAR = {2002}
}
@TECHREPORT{abgi02,
AUTHOR = {F. Arbab and M.M. Bonsangue and J.V. Guillen-Scholten and M.E. Jacob and H. Jonkers and M. Lankhorst and E. Proper and A. Stam},
TITLE = {State of the art in architecture frameworks and tools},
NUMBER = {ArchiMate phase 0, deliverable 2},
INSTITUTE = {Telematica Institute reference TI/RS/2002/014},
URL = {https://doc.telin.nl/dscgi/ds.py/Get/File-22327},
MONTH = {May},
YEAR = {2002}
}
@TECHREPORT{bbbghjlps02,
AUTHOR = {F. de Boer and M.M. Bonsangue and R. van Buuren and L. Groenewegen and
S. Hoppenbrouwers and H. Jonkers and M. Lankhorst and E. Proper and A. Stam},
TITLE = {Concepts for Architectural Description},
NUMBER = {ArchiMate deliverable 2.2.1},
INSTIUTE = {Telematica Institute reference TI/RS/2002/???},
URL = {https://doc.telin.nl/dscgi/ds.py/Get/File-24121},
MONTH = {November},
YEAR = {2002}
}
@TECHREPORT{IJLBGCBK02,
AUTHOR = {M.E. Iacob and H. Jonkers and M. Lankhorst and R. van Buuren and L. Groenewegen and K.-H. Cheung and M.M. Bonsangue and N. van Kampenhout},
TITLE = {State of the art in architecture concepts and description},
NUMBER = {ArchiMate deliverable 2.1},
INSTITUTE = {Telematica Institute reference TI/RS/2002/???},
URL = {https://doc.telin.nl/dscgi/ds.py/Get/File-24149},
MONTH = {November},
YEAR = {2002}
}
This file has been generated by
bibtex2html 1.52