@incollection{Shapiro/91a,
AUTHOR = {Shapiro, Ehud},
TITLE = {Embeddings among concurrent programming languages},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {58},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Misra/91,
AUTHOR = {Misra, Jayadev},
TITLE = {Loosely-coupled processes},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {1-26},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{de_Bakker-Vink/91,
AUTHOR = {de Bakker, J.W. and Vink, E.P. de},
TITLE = {Rendez-vous with metric semantics},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {27-57},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Janicki-Koutny/91a,
AUTHOR = {Janicki, Ryszard and Koutny, Maciej},
TITLE = {Invariants and paradigms of concurrency theory},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {59-74},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and J. {van Leeuwen} and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Alonso-Pena/91,
AUTHOR = {Alonso, Luis M. and Pe{\~n}a, Ricardo},
TITLE = {Acceptance automata: A framework for specifying and verifying TCSP parallel systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {75-91},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=75},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fanchon-Millot/91,
AUTHOR = {Fanchon, J. and Millot, D.},
TITLE = {Models for dynamically placed concurrent processes},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {92-109},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Sami-Vidal-Naquet/91,
AUTHOR = {Sami, Yamina and Vidal-Naquet, Guy},
TITLE = {Formalisation of the behavior of actors by colored Petri nets and some applications},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {110-127},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=110},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Singh/91,
AUTHOR = {Singh, Ambuj K.},
TITLE = {Program refinement in fair transition systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {128-147},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=128},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Yantchev/91,
AUTHOR = {Yantchev, J.T.},
TITLE = {Communication abstraction and refinement},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {148-165},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=148},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Bouge/91,
AUTHOR = {Boug{\'e}, Luc},
TITLE = {On the semantics of languages for massively parallel SIMD architectures},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {166-183},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hooman/91,
AUTHOR = {Hooman, Jozef},
TITLE = {A denotational real-time semantics for shared processors},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {184-201},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=184},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Nocker-Smetsers-Eekelen-Plasmeijer/91,
AUTHOR = {N{\"o}cker, E.G.J.M.H. and Smetsers, J.E.W. and Eekelen, M.C.J.D. van and Plasmeijer, M.J.},
TITLE = {Concurrent clean},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {202-219},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=202},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{van_Delft/91,
AUTHOR = {van Delft, Andr{\'e}},
TITLE = {The {S}criptic programming language},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {220-237},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Haridi-Palamidessi/91,
AUTHOR = {Haridi, Seif and Palamidessi, Catuscia},
TITLE = {Structural operational semantics for {K}ernel {A}ndorra {P}rolog},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {238-253},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=238},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Jagannathan/91,
AUTHOR = {Jagannathan, Suresh},
TITLE = {Customization of first-class tuple-spaces in a higher-order language},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {254-276},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=254},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Factor/91,
AUTHOR = {Factor, Michael},
TITLE = {A formal specification of the process trellis},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {277-294},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=277},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Autant-Belmesk-Schnoebelen/91,
AUTHOR = {Autant, C. and Belmesk, Z. and Schnoebelen, Ph.},
TITLE = {Strong bisimilarity on nets revisited},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {295-312},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Magee-Dulay/91,
AUTHOR = {Magee, Jeff and Dulay, Naranker},
TITLE = {A configuration approach to parallel programming},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {313-330},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=313},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Gaudiot-Lin/91,
AUTHOR = {Gaudiot, Jean-Luc and Lin, Chih-Ming},
TITLE = {Chaotic linear system solvers in a variable-grain data-driven multiprocessor system},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {331-348},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Waite-Giddings-Lavington/91,
AUTHOR = {Waite, Martin and Giddings, Bret and Lavington, Simon},
TITLE = {Parallel associative combinator evaluation},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {349-366},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=349},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hankin/91,
AUTHOR = {Hankin, Chris},
TITLE = {Static analysis of term graph rewriting systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {367-384},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Briat-Favre-Geyer-Kergommeaux/91,
AUTHOR = {Briat, J. and Favre, M. and Geyer, C. and Kergommeaux, J. Chassin de},
TITLE = {Scheduling of OR-parallel {P}rolog on a scalable, reconfigurable, distributed-memory multiprocessor},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {385-402},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=385},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Beaumont-Raman-Szeredi-Warren/91,
AUTHOR = {Beaumont, Anthony and Raman, S. Muthu and Szeredi, P{\'e}ter and Warren, David H.D.},
TITLE = {Flexible scheduling of OR-parallelism in {A}urora: The {B}ristol scheduler},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {403-420},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Veron-Xu-Delgado-Rannauro-Schuerman/91,
AUTHOR = {V{\'e}ron, Andr{\'e} and Xu, Jiyang and Delgado-Rannauro, S.A. and Schuerman, K.},
TITLE = {Virtual memory support for OR-parallel logic programming systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {421-438},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=421},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Szeredi-Yang-Carlsson/91,
AUTHOR = {Szeredi, P{\'e}ter and Yang, Rong and Carlsson, Mats},
TITLE = {Interfacing engines and schedulers in OR-parallel {P}rolog systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {439-453},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hwang-Hu-Sun-Gao/91,
AUTHOR = {Hwang, Zhiyi and Hu, Shouren and Sun, Chengzheng and Gao, Yaoqing},
TITLE = {Reduction of code space in parallel logic programming systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {454-470},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=454},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Fujita-Yamashita-Ae/91,
AUTHOR = {Fujita, Satoshi and Yamashita, Masafumi and Ae, Tadashi},
TITLE = {Search level parallel processing of production systems},
BOOKTITLE = {Proceedings of the 3rd International Conference on Parallel Architectures and Languages Europe, Vol.~II: Parallel Languages, PARLE'91 (Eindhoven, The Netherlands, June 1991)},
SERIES = {LNCS},
VOLUME = {506},
PAGES = {471-488},
YEAR = {1991},
EDITOR = {Aarts, E.H.L. and van Leeuwen, J. and Rem, M.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=506&spage=471},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}