Search dblp for Publications

export results for "toc:db/conf/moz/moz2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/moz/2004,
  editor       = {Peter Van Roy},
  title        = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106627},
  doi          = {10.1007/B106627},
  isbn         = {3-540-25079-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/AndersAA04,
  author       = {Torsten Anders and
                  Christina Anagnostopoulou and
                  Michael Alcorn},
  editor       = {Peter Van Roy},
  title        = {Strasheela: Design and Usage of a Music Composition Environment Based
                  on the Oz Programming Model},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_23},
  doi          = {10.1007/978-3-540-31845-3\_23},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/AndersAA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/ArandaDO04,
  author       = {Jes{\'{u}}s Aranda and
                  Juan Francisco D{\'{\i}}az and
                  V. James Ort{\'{\i}}z},
  editor       = {Peter Van Roy},
  title        = {The Problem of Assigning Evaluators to the Articles Submitted in an
                  Academic Event: {A} Practical Solution Incorporating Constraint Programming
                  and Heuristics},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {305--316},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_25},
  doi          = {10.1007/978-3-540-31845-3\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/ArandaDO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Collet04,
  author       = {Rapha{\"{e}}l Collet},
  editor       = {Peter Van Roy},
  title        = {Playing the Minesweeper with Constraints},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {251--262},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_21},
  doi          = {10.1007/978-3-540-31845-3\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Collet04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DebusmannDN04,
  author       = {Ralph Debusmann and
                  Denys Duchier and
                  Joachim Niehren},
  editor       = {Peter Van Roy},
  title        = {The {XDG} Grammar Development Kit},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {188--199},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_16},
  doi          = {10.1007/978-3-540-31845-3\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DebusmannDN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DelgadoOPR04,
  author       = {Alberto Delgado and
                  Carlos Alberto Olarte and
                  Jorge Andr{\'{e}}s P{\'{e}}rez and
                  Camilo Rueda},
  editor       = {Peter Van Roy},
  title        = {Implementing Semiring-Based Constraints Using Mozart},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {224--236},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_19},
  doi          = {10.1007/978-3-540-31845-3\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DelgadoOPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DelgadoPPJDR04,
  author       = {Alberto Delgado and
                  Jorge Andr{\'{e}}s P{\'{e}}rez and
                  Gustavo Pab{\'{o}}n and
                  Rafael Jordan and
                  Juan Francisco D{\'{\i}}az and
                  Camilo Rueda},
  editor       = {Peter Van Roy},
  title        = {An Interactive Tool for the Controlled Execution of an Automated Timetabling
                  Constraint Engine},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {317--327},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_26},
  doi          = {10.1007/978-3-540-31845-3\_26},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DelgadoPPJDR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DiazGOR04,
  author       = {Juan Francisco D{\'{\i}}az and
                  Gustavo Gutierrez and
                  Carlos Alberto Olarte and
                  Camilo Rueda},
  editor       = {Peter Van Roy},
  title        = {Using Constraint Programming for Reconfiguration of Electrical Power
                  Distribution Networks},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {263--276},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_22},
  doi          = {10.1007/978-3-540-31845-3\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DiazGOR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DiazM04,
  author       = {Juan Francisco D{\'{\i}}az and
                  Javier Andr{\'{e}}s Mena},
  editor       = {Peter Van Roy},
  title        = {Solving the Aircraft Sequencing Problem Using Concurrent Constraint
                  Programming},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {292--304},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_24},
  doi          = {10.1007/978-3-540-31845-3\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DiazM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DonyC04,
  author       = {Isabelle Dony and
                  Baudouin Le Charlier},
  editor       = {Peter Van Roy},
  title        = {A Program Verification System Based on Oz},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {41--52},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_4},
  doi          = {10.1007/978-3-540-31845-3\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DonyC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DoomsDD04,
  author       = {Gr{\'{e}}goire Dooms and
                  Yves Deville and
                  Pierre Dupont},
  editor       = {Peter Van Roy},
  title        = {A Mozart Implementation of CP(BioNet)},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {237--250},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_20},
  doi          = {10.1007/978-3-540-31845-3\_20},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DoomsDD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/DuchierRP04,
  author       = {Denys Duchier and
                  Joseph Le Roux and
                  Yannick Parmentier},
  editor       = {Peter Van Roy},
  title        = {The Metagrammar Compiler: An {NLP} Application with a Multi-paradigm
                  Architecture},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {175--187},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_15},
  doi          = {10.1007/978-3-540-31845-3\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/DuchierRP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/El-AnsaryGRR04,
  author       = {Sameh El{-}Ansary and
                  Donatien Grolaux and
                  Peter Van Roy and
                  Mahmoud Rafea},
  editor       = {Peter Van Roy},
  title        = {Overcoming the Multiplicity of Languages and Technologies for Web-Based
                  Development Using a Multi-paradigm Approach},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {113--124},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_10},
  doi          = {10.1007/978-3-540-31845-3\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/El-AnsaryGRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/GrolauxGR04,
  author       = {Donatien Grolaux and
                  Kevin Glynn and
                  Peter Van Roy},
  editor       = {Peter Van Roy},
  title        = {A Fault Tolerant Abstraction for Transparent Distributed Programming},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {149--160},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_13},
  doi          = {10.1007/978-3-540-31845-3\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/GrolauxGR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/HavelkaSBH04,
  author       = {Dragan Havelka and
                  Christian Schulte and
                  Per Brand and
                  Seif Haridi},
  editor       = {Peter Van Roy},
  title        = {Thread-Based Mobility in Oz},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {137--148},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_12},
  doi          = {10.1007/978-3-540-31845-3\_12},
  timestamp    = {Tue, 26 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/moz/HavelkaSBH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/LagerK04,
  author       = {Torbj{\"{o}}rn Lager and
                  Fredrik Kronlid},
  editor       = {Peter Van Roy},
  title        = {The {CURRENT} Platform: Building Conversational Agents in Oz},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {161--174},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_14},
  doi          = {10.1007/978-3-540-31845-3\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/LagerK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Landtsheer04,
  author       = {Renaud De Landtsheer},
  editor       = {Peter Van Roy},
  title        = {Solving {CSP} Including a Universal Quantification},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {200--210},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_17},
  doi          = {10.1007/978-3-540-31845-3\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Landtsheer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/MesarosCR04,
  author       = {Valentin Mesaros and
                  Bruno Carton and
                  Peter Van Roy},
  editor       = {Peter Van Roy},
  title        = {{P2PS:} Peer-to-Peer Development Platform for Mozart},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {125--136},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_11},
  doi          = {10.1007/978-3-540-31845-3\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/MesarosCR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/MillerTS04,
  author       = {Mark S. Miller and
                  Bill Tulloh and
                  Jonathan S. Shapiro},
  editor       = {Peter Van Roy},
  title        = {The Structure of Authority: Why Security Is Not a Separable Concern},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {2--20},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_2},
  doi          = {10.1007/978-3-540-31845-3\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/MillerTS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/MolderezP04,
  author       = {Jean{-}Fran{\c{c}}ois Molderez and
                  Christophe Ponsard},
  editor       = {Peter Van Roy},
  title        = {Deriving Acceptance Tests from Goal Requirements},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {78--88},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_7},
  doi          = {10.1007/978-3-540-31845-3\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/MolderezP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/MostafaB04,
  author       = {Hala Mostafa and
                  Reem Bahgat},
  editor       = {Peter Van Roy},
  title        = {Using Mozart for Visualizing Agent-Based Simulations},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {89--102},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_8},
  doi          = {10.1007/978-3-540-31845-3\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/MostafaB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Rafea04,
  author       = {Mahmoud Rafea},
  editor       = {Peter Van Roy},
  title        = {Web Technologies for Mozart Applications},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {103--112},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_9},
  doi          = {10.1007/978-3-540-31845-3\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Rafea04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Reinfelds04,
  author       = {Juris Reinfelds},
  editor       = {Peter Van Roy},
  title        = {Higher Order Programming for Unordered Minds},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {53--65},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_5},
  doi          = {10.1007/978-3-540-31845-3\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Reinfelds04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Smolka04,
  author       = {Gert Smolka},
  editor       = {Peter Van Roy},
  title        = {The Development of Oz and Mozart},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {1},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_1},
  doi          = {10.1007/978-3-540-31845-3\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Smolka04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/SpiessensR04,
  author       = {Fred Spiessens and
                  Peter Van Roy},
  editor       = {Peter Van Roy},
  title        = {The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming
                  Language},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {21--40},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_3},
  doi          = {10.1007/978-3-540-31845-3\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/SpiessensR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/TackB04,
  author       = {Guido Tack and
                  Didier Le Botlan},
  editor       = {Peter Van Roy},
  title        = {Compositional Abstractions for Search Factories},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {211--223},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_18},
  doi          = {10.1007/978-3-540-31845-3\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/TackB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Wahls04,
  author       = {Tim Wahls},
  editor       = {Peter Van Roy},
  title        = {Compiling Formal Specifications to Oz Programs},
  booktitle    = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
                  {MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3389},
  pages        = {66--77},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31845-3\_6},
  doi          = {10.1007/978-3-540-31845-3\_6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/moz/Wahls04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics