default search action
Search dblp for Publications
export results for "stream:conf/am:"
@proceedings{DBLP:conf/am/1989, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53912-3}, doi = {10.1007/3-540-53912-3}, isbn = {3-540-53912-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BaetenBMV89, author = {Jos C. M. Baeten and Jan A. Bergstra and Sjouke Mauw and Gert J. Veltink}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {A Process Specification Formalism Based on Static {COLD}}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {303--335}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_27}, doi = {10.1007/3-540-53912-3\_27}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/am/BaetenBMV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Bergstra89, author = {Jos C. M. Baeten and Jan A. Bergstra}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Design of a Specification Language by Abstract Syntax Engineering}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {363--394}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_29}, doi = {10.1007/3-540-53912-3\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Bergstra89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BosFO89, author = {R. D. van den Bos and Loe M. G. Feijs and Rob C. van Ommering}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {{POLAR:} {A} Picture-Oriented Language for Abstract Representations}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {233--276}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_25}, doi = {10.1007/3-540-53912-3\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/BosFO89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/DiepenP89, author = {N. W. P. van Diepen and Helmuth Partsch}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Formalizing Informal Reuqirments. Some Aspects}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {7--27}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_16}, doi = {10.1007/3-540-53912-3\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/DiepenP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Feijs89, author = {Loe M. G. Feijs}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Transformations of Designs}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {167--199}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_23}, doi = {10.1007/3-540-53912-3\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Feijs89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Feijs89a, author = {Loe M. G. Feijs}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Norman's Database Modularised in {COLD-K}}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {205--231}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_24}, doi = {10.1007/3-540-53912-3\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Feijs89a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/FinkelsteinGKN89, author = {Anthony Finkelstein and Michael Goedicke and Jeff Kramer and Celso Niskier}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {29--54}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_17}, doi = {10.1007/3-540-53912-3\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/FinkelsteinGKN89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/HagelsteinP89, author = {Jacques Hagelstein and Frank Ponsaert}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Introducing Formal Requirements into Industry}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {129--141}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_21}, doi = {10.1007/3-540-53912-3\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/HagelsteinP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Jonkers89, author = {H. B. M. Jonkers}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Inheritance in {COLD}}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {277--301}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_26}, doi = {10.1007/3-540-53912-3\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Jonkers89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Klint89, author = {Paul Klint}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {A Meta-Environment for Generating Programming Environments}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {105--124}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_20}, doi = {10.1007/3-540-53912-3\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Klint89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/MauboussinPBGH89, author = {Anne Mauboussin and H. Perdrix and Michel Bidoit and Marie{-}Claude Gaudel and Jacques Hagelstein}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {From an {ERAE} Requirements Specification to a {PLUSS} Algebraic Specificatiaon: {A} Case Study}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {395--431}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_30}, doi = {10.1007/3-540-53912-3\_30}, timestamp = {Thu, 19 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/MauboussinPBGH89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/MauwW89, author = {Sjouke Mauw and Freek Wiedijk}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Specification of the Transit Node in PSF\({}_{\mbox{d}}\)}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {341--361}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_28}, doi = {10.1007/3-540-53912-3\_28}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/MauwW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Middelburg89, author = {Cornelis A. Middelburg}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Experiences with Combining Formalisms in {VVSL}}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {83--103}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_19}, doi = {10.1007/3-540-53912-3\_19}, timestamp = {Mon, 02 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/am/Middelburg89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/OlderogA89, author = {Ernst{-}R{\"{u}}diger Olderog and Krzysztof R. Apt}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Using Transformation to Verify Parallel Programs}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {55--81}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_18}, doi = {10.1007/3-540-53912-3\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/OlderogA89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Weber89, author = {Rainer Weber}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, title = {Where Can {I} Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems}, booktitle = {Algebraic Methods {II:} Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, series = {Lecture Notes in Computer Science}, volume = {490}, pages = {143--166}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53912-3\_22}, doi = {10.1007/3-540-53912-3\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Weber89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/am/1987, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0015032}, doi = {10.1007/BFB0015032}, isbn = {3-540-51698-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/1987.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/AstesianoGRZ87, author = {Egidio Astesiano and Alessandro Giovini and Gianna Reggio and Elena Zucca}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {91--116}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015037}, doi = {10.1007/BFB0015037}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/am/AstesianoGRZ87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BaatsFG87, author = {W. E. Baats and Loe M. G. Feijs and J. H. A. Gelissen}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {A Formal Specifications of {INGRES}}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {207--245}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015040}, doi = {10.1007/BFB0015040}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/BaatsFG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BergstraK87, author = {Jan A. Bergstra and Jan Willem Klop}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {ACT\({}_{\mbox{tau}}\): {A} Universal Axiom System for Process Specification}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {447--463}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015048}, doi = {10.1007/BFB0015048}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/BergstraK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/BidoitGM87, author = {Michel Bidoit and Marie{-}Claude Gaudel and Anne Mauboussin}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {How to Make Algebraic Specifications More Understandable?}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {31--67}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015035}, doi = {10.1007/BFB0015035}, timestamp = {Thu, 19 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/BidoitGM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Feijs87, author = {Loe M. G. Feijs}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {The Calculus lambda-pi}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {307--330}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015043}, doi = {10.1007/BFB0015043}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Feijs87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Geser87, author = {Alfons Geser}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {A Specification of the intel 8085 Microprocessor: {A} Case Study}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {347--401}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015045}, doi = {10.1007/BFB0015045}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Geser87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/GlabbeekV87, author = {Rob J. van Glabbeek and Frits W. Vaandrager}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Modular Specifications in Process Algebra with Curious Queues}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {465--506}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015049}, doi = {10.1007/BFB0015049}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/GlabbeekV87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/HussmannG87, author = {Heinrich Hu{\ss}mann and Alfons Geser}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {The {RAP} System as a Tool for Testing {COLD} Specifications}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {331--345}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015044}, doi = {10.1007/BFB0015044}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/HussmannG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/HussmannR87, author = {Heinrich Hu{\ss}mann and Christian Rank}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Specification and Prototyping of a Compiler for a Small Applicative Language}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {403--418}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015046}, doi = {10.1007/BFB0015046}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/HussmannR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Jonkers87, author = {H. B. M. Jonkers}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {An Introduction to {COLD-K}}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {139--205}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015039}, doi = {10.1007/BFB0015039}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Jonkers87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Jonkers87a, author = {H. B. M. Jonkers}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Description Algebra}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {283--306}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015042}, doi = {10.1007/BFB0015042}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Jonkers87a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/KlaerenI87, author = {Herbert Klaeren and Klaus Indermark}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Efficient Implementation of an Algebraic Specification Language}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {69--90}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015036}, doi = {10.1007/BFB0015036}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/KlaerenI87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/KoymannsL87, author = {C. P. J. Koymanns and Gerard R. Renardel de Lavalette}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {The Logic MPL\({}_{\mbox{omega}}\)}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {247--282}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015041}, doi = {10.1007/BFB0015041}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/KoymannsL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/LavazzaC87, author = {Luigi Lavazza and Stefano Crespi{-}Reghizzi}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Algebraic {ADT} Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {419--446}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015047}, doi = {10.1007/BFB0015047}, timestamp = {Fri, 26 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/LavazzaC87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Mauw87, author = {Sjouke Mauw}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {An Algebraic Specification of Process Algebra, Including Two Examples}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {507--554}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015050}, doi = {10.1007/BFB0015050}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Mauw87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Partsch87, author = {Helmuth Partsch}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Algebraic Specification: {A} Step Towards Future Software Engineering}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {7--30}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015034}, doi = {10.1007/BFB0015034}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Partsch87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/am/Reichel87, author = {Horst Reichel}, editor = {Martin Wirsing and Jan A. Bergstra}, title = {Software Specification by Behavioural Canons}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, series = {Lecture Notes in Computer Science}, volume = {394}, pages = {117--138}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0015038}, doi = {10.1007/BFB0015038}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/am/Reichel87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.