Skip to main content
SpringerLink
Log in

Logic, Rewriting, and Concurrency

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

  • Book
  • © 2015

Overview

Editors:
  1. Narciso Martí-Oliet

    1. Universidad Complutense de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Csaba Ölveczky

    1. University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Carolyn Talcott

    1. SRI International, Menlo Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Dedicated to one of the leading researchers with seminal contributions in many fields of theoretical computer science and beyond
  • Contains a collection of papers - including personal memories, essays, and regular research papers by close collaborators and friends
  • Covers a variety of topics from general logics to vision algorithms for robots - characterized by innovation, conceptual elegance and rigor combined with practical applicability
  • Includes supplementary material: sn.pub/extras

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 chapters)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. José Meseguer: Scientist and Friend Extraordinaire

    • Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
    Pages 1-47

  3. Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude

    • Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
    Pages 48-71

  4. Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

    • María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
    Pages 72-96

  5. Computer Modeling in Neuroscience: From Imperative to Declarative Programming

    • Thomas J. Anastasio
    Pages 97-113

  6. Hybrid Multirate PALS

    • Kyungmin Bae, Peter Csaba Ölveczky
    Pages 114-134

  7. Debits and Credits in Petri Nets and Linear Logic

    • Massimo Bartoletti, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino
    Pages 135-159

  8. Alice and Bob Meet Equational Theories

    • David Basin, Michel Keller, Saša Radomirović, Ralf Sasse
    Pages 160-180

  9. On First-Order Model-Based Reasoning

    • Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
    Pages 181-204

  10. A Normal Form for Stateful Connectors

    • Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 205-227

  11. Enlightening Ph.D. Students with the Elegance of Logic

    • Shuo Chen
    Pages 228-231

  12. Two Decades of Maude

    • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet et al.
    Pages 232-254

  13. Formal Universes

    • Erwin Engeler
    Pages 255-263

  14. When Is a Formula a Loop Invariant?

    • Stephan Falke, Deepak Kapur
    Pages 264-286

  15. Generic Proof Scores for Generate & Check Method in CafeOBJ 

    • Kokichi Futatsugi
    Pages 287-310

  16. Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting

    • Raúl Gutiérrez, Salvador Lucas
    Pages 311-330

  17. Model-Checking Helena Ensembles with Spin

    • Rolf Hennicker, Annabelle Klarl, Martin Wirsing
    Pages 331-360

  18. Modularity of Ontologies in an Arbitrary Institution

    • Yazmin Angelica Ibañez, Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    Pages 361-379

  19. Rewriting Strategies and Strategic Rewrite Programs

    • Hélene Kirchner
    Pages 380-403

  20. Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware

    • Michael LeMay, Carl A. Gunter
    Pages 404-426
Back to top

Keywords

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

Editors and Affiliations

  • Universidad Complutense de Madrid, Madrid, Spain

    Narciso Martí-Oliet

  • University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

  • SRI International, Menlo Park, USA

    Carolyn Talcott

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation