© 2015

Logic, Rewriting, and Concurrency

Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

  • Narciso Martí-Oliet
  • Peter Csaba Ölveczky
  • Carolyn Talcott

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9200)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9200)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
    Pages 1-47
  3. Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
    Pages 48-71
  4. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
    Pages 72-96
  5. Kyungmin Bae, Peter Csaba Ölveczky
    Pages 114-134
  6. Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
    Pages 135-159
  7. David Basin, Michel Keller, Saša Radomirović, Ralf Sasse
    Pages 160-180
  8. Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
    Pages 181-204
  9. Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 205-227
  10. Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet et al.
    Pages 232-254
  11. Erwin Engeler
    Pages 255-263
  12. Stephan Falke, Deepak Kapur
    Pages 264-286
  13. Rolf Hennicker, Annabelle Klarl, Martin Wirsing
    Pages 331-360
  14. Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    Pages 361-379

About this book


This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.


Coq Maude context-sensitive rewriting denotational semantics formal methods high-performance computing information flow control interaction-oriented computing learning linear logic neurobiology parallel computing petri nets proof theory rewriting logic service-oriented computing system specification system verification theorem proving unification

Editors and affiliations

  • Narciso Martí-Oliet
    • 1
  • Peter Csaba Ölveczky
    • 2
  • Carolyn Talcott
    • 3
  1. 1.Universidad Complutense de MadridMadridSpain
  2. 2.University of OsloOsloNorway
  3. 3.SRI InternationalMenlo ParkUSA

Bibliographic information