@incollection{Benveniste-Caspi-le_Guernic-Halbwachs/94,
AUTHOR = {Benveniste, Albert and Caspi, Paul and le Guernic, Paul and Halbwachs, Nicholas},
TITLE = {Data-flow synchronous languages},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {1-45},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bergstra-Ponse-Wamel/94,
AUTHOR = {Bergstra, J.A. and Ponse, A. and Wamel, J.J. van},
TITLE = {Process algebra with backtracking},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {46-91},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Boudol/94a,
AUTHOR = {Boudol, G{\'{e}}rard},
TITLE = {Some chemical abstract machines},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {92-123},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Clarke-Grumberg-Long/94,
AUTHOR = {Clarke, E. and Grumberg, O. and Long, D.},
TITLE = {Verification tools for finite-state concurrent systems},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {124-175},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Engberg-Winskel/94,
AUTHOR = {Engberg, Uffe and Winskel, Glynn},
TITLE = {Linear logic on Petri nets},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {176-229},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jensen/94,
AUTHOR = {Jensen, Kurt},
TITLE = {An introduction to the theoretical aspects of coloured Petri nets},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {230-272},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kesten-Manna-Pnueli/94,
AUTHOR = {Kesten, Yonit and Manna, Zohar and Pnueli, Amir},
TITLE = {Temporal verification of simulation and refinement},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {273-346},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lamport/94,
AUTHOR = {Lamport, Leslie},
TITLE = {Verification and specification of concurrent programs},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {347-374},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lynch/94a,
AUTHOR = {Lynch, N.},
TITLE = {Simulation techniques for proving properties of real-time systems},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {375-424},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nielsen-Sassone-Winskel/94,
AUTHOR = {Nielsen, Mogens and Sassone, Vladimiro and Winskel, Glynn},
TITLE = {Relationships between models of concurrency},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {425-476},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Parrow/94,
AUTHOR = {Parrow, Joachim},
TITLE = {Interaction diagrams},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {477-508},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Parrow-Sangiorgi/94,
AUTHOR = {Parrow, Joachim and Sangiorgi, Davide},
TITLE = {Algebraic theories for name-passing calculi},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {509-529},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=803&spage=509},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Rutten-Turi/94,
AUTHOR = {Rutten, Jan and Turi, Daniele},
TITLE = {Initial algebra and final coalgebra semantics for concurrency},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {530-582},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Thomas-Lescow/94,
AUTHOR = {Thomas, Wolfgang and Lescow, Helmut},
TITLE = {Logical specifications of infinite computations},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {583-621},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Zwiers-Janssen/94,
AUTHOR = {Zwiers, Job and Janssen, Wil},
TITLE = {Partial order based design of concurrent systems},
BOOKTITLE = {Proceedings of the REX School/Symposium on a Decade of Concurrency --- Reflections and Perspectives (Noordwijkerhout, The Netherlands, June 1-4, 1993)},
SERIES = {LNCS},
VOLUME = {803},
PAGES = {622-684},
YEAR = {1994},
EDITOR = {de Bakker, J.W. and Roever, W.-P. de and Rozenberg, G.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}