Search dblp for Publications

export results for "toc:db/conf/wadt/wadt2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wadt/BednarczykBPP04,
  author       = {Marek A. Bednarczyk and
                  Luca Bernardinello and
                  Wieslaw Pawlowski and
                  Lucia Pomello},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Modelling Mobility with Petri Hypernets},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {28--44},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_2},
  doi          = {10.1007/978-3-540-31959-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BednarczykBPP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CaleiroR04,
  author       = {Carlos Caleiro and
                  Jaime Ramos},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Cryptomorphisms at Work},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {45--60},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_3},
  doi          = {10.1007/978-3-540-31959-7\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CaleiroR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/GimblettRS04,
  author       = {Andy Gimblett and
                  Markus Roggenbach and
                  Bernd{-}Holger Schlingloff},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Towards a Formal Specification of an Electronic Payment System in
                  {CSP-CASL}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {61--78},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_4},
  doi          = {10.1007/978-3-540-31959-7\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/GimblettRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/HeckelT04,
  author       = {Reiko Heckel and
                  Sebastian Th{\"{o}}ne},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Behavior-Preserving Refinement Relations between Dynamic Software
                  Architectures},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_1},
  doi          = {10.1007/978-3-540-31959-7\_1},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/HeckelT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LopesF04,
  author       = {Ant{\'{o}}nia Lopes and
                  Jos{\'{e}} Luiz Fiadeiro},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Algebraic Semantics of Design Abstractions for Context-Awareness},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {79--93},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_5},
  doi          = {10.1007/978-3-540-31959-7\_5},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LopesF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LuthRS04,
  author       = {Christoph L{\"{u}}th and
                  Markus Roggenbach and
                  Lutz Schr{\"{o}}der},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {{CCC} - The Casl Consistency Checker},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {94--105},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_6},
  doi          = {10.1007/978-3-540-31959-7\_6},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LuthRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LuttichMK04,
  author       = {Klaus L{\"{u}}ttich and
                  Till Mossakowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Ontologies for the Semantic Web in Casl},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {106--125},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_7},
  doi          = {10.1007/978-3-540-31959-7\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LuttichMK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Marti-OlietMP04,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Miguel Palomino},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Theoroidal Maps as Algebraic Simulations},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {126--143},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_8},
  doi          = {10.1007/978-3-540-31959-7\_8},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Marti-OlietMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Misiak04,
  author       = {Michal Misiak},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Behavioural Semantics of Algebraic Specifications in Arbitrary Logical
                  Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {144--161},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_9},
  doi          = {10.1007/978-3-540-31959-7\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Misiak04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiST04,
  author       = {Till Mossakowski and
                  Donald Sannella and
                  Andrzej Tarlecki},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {A Simple Refinement Language for Casl},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {162--185},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_10},
  doi          = {10.1007/978-3-540-31959-7\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MylonakisO04,
  author       = {Nikos Mylonakis and
                  Fernando Orejas},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {A Distributed and Mobile Component System Based on the Ambient Calculus},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {186--200},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_11},
  doi          = {10.1007/978-3-540-31959-7\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MylonakisO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Poetzsch-HeffterR04,
  author       = {Arnd Poetzsch{-}Heffter and
                  Nicole Rauch},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Application and Formal Specification of Sorted Term-Position Algebras},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {201--217},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_12},
  doi          = {10.1007/978-3-540-31959-7\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Poetzsch-HeffterR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Rosu04,
  author       = {Grigore Rosu},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {From Conditional to Unconditional Rewriting},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {218--233},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_13},
  doi          = {10.1007/978-3-540-31959-7\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Rosu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/SchroderML04,
  author       = {Lutz Schr{\"{o}}der and
                  Till Mossakowski and
                  Christoph L{\"{u}}th},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Type Class Polymorphism in an Institutional Framework},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {234--251},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_14},
  doi          = {10.1007/978-3-540-31959-7\_14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/SchroderML04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Zawlocki04,
  author       = {Artur Zawlocki},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Architectural Specifications for Reactive Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  pages        = {252--269},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31959-7\_15},
  doi          = {10.1007/978-3-540-31959-7\_15},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Zawlocki04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/wadt/2004,
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Peter D. Mosses and
                  Fernando Orejas},
  title        = {Recent Trends in Algebraic Development Techniques, 17th International
                  Workshop, {WADT} 2004, Barcelona, Spain, March 27-29, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3423},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b107129},
  doi          = {10.1007/B107129},
  isbn         = {3-540-25327-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2004.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.