FAST2005.bib

@BOOK{lankhorst,
  AUTHOR = {M.M. Lankorst et al.},
  TITLE = {Enterprise Achitecture at Work: Modelling, Communication and Analysis},
  PUBLISHER = {Springer-Verlag},
  MONTH = MAY,
  YEAR = {2005}
}


@INPROCEEDINGS{boerbonsangue,
  EDITOR = {F.S. de Boer and M.M. Bonsangue},
  BOOKTITLE = {Formal Methods for Components and Objects -- A theoretical perspective},
  VOLUME = {331},
  ISSUE = {2--3},
  PAGES = {249--486},
  JOURNAL = {Theoretical Computer Science},
  PUBLISHER = {Elsevier Science},
  YEAR = {2005}
}


@INPROCEEDINGS{boerbonsangue2,
  EDITOR = {F.S. de Boer and M.M. Bonsangue},
  BOOKTITLE = {Formal Methods for Components and Objects -- Pragmatic aspects and applications},
  VOLUME = {55},
  ISSUE = {1--2},
  PAGES = {1--290},
  JOURNAL = {Science of Computer Programming},
  PUBLISHER = {Elsevier Science},
  YEAR = {2005}
}


@INPROCEEDINGS{Ehrigvolume,
  AUTHOR = {D. Janssens and H.--J. Kreowski and G. Rozenberg},
  TITLE = {Main concepts of networks of transformation units with interlinking semantics},
  BOOKTITLE = {Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday},
  EDITOR = {H.--J. Kreowski and U. Montanari and F. Orejas and G. Rozenberg and G. Taentzer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3393},
  PUBLISHER = {Springer--Verlag},
  PAGES = {325--342},
  YEAR = {2005}
}


@INPROCEEDINGS{Ehrigvolume2,
  BOOKTITLE = {Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday},
  EDITOR = {H.--J. Kreowski and U. Montanari and F. Orejas and G. Rozenberg and G. Taentzer},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {3393},
  PUBLISHER = {Springer--Verlag},
  YEAR = {2005}
}


@INPROCEEDINGS{GKV05:coordination,
  AUTHOR = {L. Groenewegen and N. van Kampenhout and E. de Vink.},
  TITLE = {Delegation {Modeling} with {Paradigm}.},
  YEAR = {2005},
  BOOKTITLE = {Proc.\ Coordination 2005},
  EDITOR = {J.-M. Jacquet and G.P. Picco},
  PAGES = {94--108},
  PUBLISHER = {LNCS~3454}
}


@INPROCEEDINGS{GSTV05:coorg-namen,
  AUTHOR = {L.P.J. Groenewegen and A.W. Stam and P.J. Toussaint and E.P. de Vink},
  TITLE = {Paradigm as {O}rganization-{O}riented {C}oordination {L}anguage},
  BOOKTITLE = {Preliminary {P}roceedings of the 1st International Workshop on Coordination and Organisation},
  PAGES = {123--138},
  YEAR = 2005,
  EDITOR = {G. Boella and L. van der Torre},
  PUBLISHER = {To appear in ENTCS}
}


@INPROCEEDINGS{SGV05:MTcoord-namen,
  AUTHOR = {A.W. Stam and L.P.J. Groenewegen and E.P de Vink},
  TITLE = {Restructuring {P}aradigm {M}odels for the {T}ool{B}us {A}rchitecture: a {C}ase {S}tudy},
  BOOKTITLE = {Preliminary Proceedings of the International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems},
  PAGES = {111--125},
  YEAR = {2005},
  EDITOR = {L. Brim and I. Linden},
  PUBLISHER = {To appear in ENTCS}
}


@INPROCEEDINGS{HICSS-38,
  AUTHOR = {F.S. de Boer and M.M. Bonsangue and J. Jacob and A. Stam and L. van der Torre},
  TITLE = {Enterprise architecture analysis in XML},
  BOOKTITLE = {Proceedings of the Hawaii International Conference on System Sciences (HICSS-38)},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR = {January 2005}
}


@INPROCEEDINGS{IRI2005,
  AUTHOR = {F.S. de Boer and M.M. Bonsangue and L. Groenewegen and A. Stam and S. Stevens and L.van der Torre},
  TITLE = {Change Impact Analysis of Enterprise Architectures},
  BOOKTITLE = {Proceedings on 2005 IEEE International Conference on Information Reuse and Integration (IRI-2005)},
  PUBLISHER = {IEEE Systems and Man and Cybernetic Society},
  YEAR = {August 2005}
}


@INPROCEEDINGS{Kurz,
  AUTHOR = {M.M. Bonsangue and A. Kurz},
  TITLE = {Dualities for logics of transition systems},
  BOKTITLE = {Proceedings of FOSSACS 2005},
  VOLUME = {3441},
  SERIES = {Lecture Notes in Computer Science},
  PAGES = {455--469},
  PUBLISHER = {Springer},
  YEAR = {April 2005}
}