Search dblp for Publications

export results for "toc:db/journals/entcs/entcs71.bht:"

 download as .bib file

@proceedings{DBLP:conf/wrla/2002,
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/71/suppl/C},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wrla/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlpuenteEL02,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Salvador Lucas},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Correct and Complete (Positive) Strategy Annotations for {OBJ}},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {70--89},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82529-0},
  doi          = {10.1016/S1571-0661(05)82529-0},
  timestamp    = {Wed, 07 Dec 2022 08:35:58 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlpuenteEL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BruniMM02,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Tiling Transactions in Rewriting Logic},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {90--109},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82530-7},
  doi          = {10.1016/S1571-0661(05)82530-7},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BruniMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CirsteaKL02,
  author       = {Horatiu Cirstea and
                  Claude Kirchner and
                  Luigi Liquori},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Rewriting Calculus with(out) Types},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82526-5},
  doi          = {10.1016/S1571-0661(05)82526-5},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CirsteaKL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ClavelMP02,
  author       = {Manuel Clavel and
                  Jos{\'{e}} Meseguer and
                  Miguel Palomino},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Reflection in Membership Equational Logic, Many-Sorted Equational
                  Logic, Horn Logic with Equality, and Rewriting Logic},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {110--126},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82531-9},
  doi          = {10.1016/S1571-0661(05)82531-9},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ClavelMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DenkerM02,
  author       = {Grit Denker and
                  Jonathan K. Millen},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Modeling Group Communication Protocols Using Multiset Term Rewriting},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {20--39},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82527-7},
  doi          = {10.1016/S1571-0661(05)82527-7},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DenkerM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DuranV02,
  author       = {Francisco Dur{\'{a}}n and
                  Alberto Verdejo},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {A Conference Reviewing System in Mobile Maude},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {127--143},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82532-0},
  doi          = {10.1016/S1571-0661(05)82532-0},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuranV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EkerKLLT02,
  author       = {Steven Eker and
                  Merrill Knapp and
                  Keith Laderoute and
                  Patrick Lincoln and
                  Carolyn L. Talcott},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Pathway Logic: Executable Models of Biological Networks},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {144--161},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82533-2},
  doi          = {10.1016/S1571-0661(05)82533-2},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/EkerKLLT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/EkerMS02,
  author       = {Steven Eker and
                  Jos{\'{e}} Meseguer and
                  Ambarish Sridharanarayanan},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {The Maude {LTL} Model Checker},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {162--187},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82534-4},
  doi          = {10.1016/S1571-0661(05)82534-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/EkerMS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FissoreGK02,
  author       = {Olivier Fissore and
                  Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Outermost ground termination},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {188--207},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82535-6},
  doi          = {10.1016/S1571-0661(05)82535-6},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FissoreGK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GadducciM02,
  author       = {Fabio Gadducci and
                  Ugo Montanari},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Preface - {WRLA} 2002, Rewriting Logic and Its Applications, Pisa,
                  Italy, 19-21 September 2002},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82525-3},
  doi          = {10.1016/S1571-0661(05)82525-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GadducciM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Honda02,
  author       = {Kohei Honda},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Processes and Games},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {40--69},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82528-9},
  doi          = {10.1016/S1571-0661(05)82528-9},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Honda02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/OgataF02,
  author       = {Kazuhiro Ogata and
                  Kokichi Futatsugi},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Rewriting-Based Verification of Authentication Protocols},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {208--222},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82536-8},
  doi          = {10.1016/S1571-0661(05)82536-8},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/OgataF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rodriguez02,
  author       = {Dilia E. Rodr{\'{\i}}guez},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {A Secret-Sharing Protocol Modelled in Maude},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {223--239},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82537-X},
  doi          = {10.1016/S1571-0661(05)82537-X},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rodriguez02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StehrT02,
  author       = {Mark{-}Oliver Stehr and
                  Carolyn L. Talcott},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Plan in Maude: Specifying an Active Network Programming Language},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {240--260},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82538-1},
  doi          = {10.1016/S1571-0661(05)82538-1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StehrT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ThatiSM02,
  author       = {Prasanna Thati and
                  Koushik Sen and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {An Executable Specification of Asynchronous Pi-Calculus Semantics
                  and May Testing in Maude 2.0},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {261--281},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82539-3},
  doi          = {10.1016/S1571-0661(05)82539-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ThatiSM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/VerdejoM02,
  author       = {Alberto Verdejo and
                  Narciso Mart{\'{\i}}{-}Oliet},
  editor       = {Fabio Gadducci and
                  Ugo Montanari},
  title        = {Implementing {CCS} in Maude 2},
  booktitle    = {Fourth International Workshop on Rewriting logic and Its Applications,
                  WRLA2002, Pisa, Italy, 19-21, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {71},
  pages        = {282--300},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)82540-X},
  doi          = {10.1016/S1571-0661(05)82540-X},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/VerdejoM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.