Advertisement

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
  15. Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson
    Pages 427-450
  16. Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
    Pages 451-474
  17. Peter D. Mosses, Ferdinand Vesely
    Pages 519-538
  18. Marisa Navarro, Fernando Orejas, Elvira Pino
    Pages 539-561
  19. Stefanie Neubert, Lenz Belzner, Martin Wirsing
    Pages 562-579
  20. Camilo Rocha
    Pages 580-597
  21. Samuel Wood, James Mathewson, Joshua Joy, Mark-Oliver Stehr, Minyoung Kim, Ashish Gehani et al.
    Pages 617-631
  22. Back Matter
    Pages 633-634

About this book

Introduction

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é.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-319-23165-5
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-23164-8
  • Online ISBN 978-3-319-23165-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
Energy, Utilities & Environment