FAST2004.bib

@INPROCEEDINGS{boerbonsangue3,
  EDITOR = {F.S. de Boer and M.M. Bonsangue},
  BOOKTITLE = {Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML)},
  VOLUME = {101},
  ISSUE = {C},
  PAGES = {1--179},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier Science},
  YEAR = {2004}
}


@INPROCEEDINGS{boerbonsangue4,
  EDITOR = {F.S. de Boer and M.M. Bonsangue and S. Graf and W.--P. de Roever},
  BOOKTITLE = {Revised lectures of the Second International Symposium on Formal Methods on Components and Objects (FMCO 2003)},
  VOLUME = {3188},
  PAGES = {1--368},
  JOURNAL = {Lecture Notes on Computer Science},
  PUBLISHER = {Springer--Verlag},
  YEAR = {2004}
}


@ARTICLE{Jonkersetal,
  AUTHORS = {H. Jonkers and M. Lankhorst and R. van Buuren and S. Hoppenbrouwers and M.M. Bonsangue and L. van der Torre},
  TITLE = {Concepts for modelling enterprise architectures},
  JOURNAL = {special issue on Architecture in IT of the International Journal of Cooperative Information Systems},
  VOLUME = {13(3)},
  PAGES = {257--287},
  PUBLISHER = {World Scientific},
  YEAR = {2004}
}


@INPROCEEDINGS{CVUML05,
  AUTHOR = {M.J. Wiering and M.M. Bonsangue and R. van Buuren and L.P.J. Groenewegen and H. Jonkers and M. Lankhorst},
  TITLE = {Investigating the mapping of an enterprise description language into UML 2.0.},
  BOOKTITLE = {Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML)},
  VOLUME = {101},
  ISSUE = {C},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  PAGES = {155--179},
  PUBLISHER = {Elsevier Science},
  YEAR = {November 2004}
}


@INPROCEEDINGS{ICTAC2004,
  AUTHOR = {E. Abraham and M.M. Bonsangue and F.S. de Boer and M. Steffen},
  TITLE = {Object connectivity and full abstraction for a concurrent calculus of classes},
  BOOKTITLE = {Proceedings of First International Colloquium on Theoretical Aspects of Computing (ICTAC 2004)},
  VOLUME = {3407},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {38--52},
  PUBLISHER = {Springer},
  EEAR = {October 2004}
}


@INPROCEEDINGS{Snowbird,
  AUTHOR = {A. Ehrenfeucht and G. Rozenberg},
  TITLE = {Flux systems, flows and self-assembly},
  BOOKTITLE = {Proceedings of the conference Foundations of Nanoscience: Self-assembled architectures and devices, Snowbird, Utah 2004},
  EDITOR = {J. Reif},
  BOOKSERIES = {Science Technica},
  VOLUME = {59},
  YEAR = {2004}
}


@ARTICLE{tcs04,
  AUTHOR = {F. Bartels and A. Sokolova and Vink, E.P. de},
  TITLE = {A Hierarchy of Probabilistic System Types},
  JOURNAL = {Theoretical Computer Science},
  EDITOR = {H.P. Gumm},
  YEAR = {2004},
  NOTE = {CMCS 2004 Special Issue. 24pp. To appear.}
}


@PROCEEDINGS{lcmas03,
  EDITOR = {Hoek, Wiebe van der and Lomuscio, Alessio and Vink, Erik de and Wooldrige, Mike},
  TITLE = {Proc.\ first international workshop on Logic and Communication in Multi-Agent Systems LCMAS 2003},
  YEAR = 2004,
  PUBLISHER = {ENTCS volume 85, issue 2}
}


@INPROCEEDINGS{voss04,
  AUTHOR = {A. Sokolova and Vink, E.P. de},
  TITLE = {Probabilistic automata: system types, parallel composition and comparison},
  BOOKTITLE = {Validation of Stochastic Systems: A Guide to Current Research},
  EDITOR = {C. Baier and B.R. Haverkort and H. Hermanns and J.-P. Katoen and M. Siegle},
  PAGES = {1--43},
  YEAR = 2004,
  PUBLISHER = {LNCS 2925}
}


@INPROCEEDINGS{lcmas04,
  AUTHOR = {A. Hommersom and J.-J.Ch. Meyer and Vink, E.P. de},
  TITLE = {A Semantics Approach to Reasoning about Security Protocols},
  BOOKTITLE = {Proc.\ LCMAS 2004},
  YEAR = 2004,
  EDITOR = {W. van der Hoek et al.},
  PUBLISHER = {ESSLLI},
  ADDRESS = {Nancy},
  PAGES = {18pp}
}


@INPROCEEDINGS{ctcs04,
  AUTHOR = {A. Sokolova and Vink, E.P. de and H. Woracek},
  TITLE = {Weak Bisimulation for Action-Type Systems (extended abstract)},
  BOOKTITLE = {Proc.\ CTCS 2004},
  ADDRESS = {Copenhagen},
  PUBLISHER = {ENTCS},
  YEAR = 2004,
  NOTE = {17pp}
}


@INPROCEEDINGS{esorics04,
  AUTHOR = {S. Mauw and J. Verschuren and Vink, E.P. de},
  TITLE = {A Formalization of Anonymity and Onion Routing},
  BOOKTITLE = {Proc.\ Esorics 2004},
  ADDRESS = {Sophia Antipolis},
  PUBLISHER = {LNCS 3193},
  YEAR = 2004,
  EDITOR = {P. Samarati and P. Ryan and D. Gollmann and R. Molva},
  PAGES = {109--124}
}