Logic, rewriting, and concurrency [electronic resource] : essays dedicated to José Meseguer on the occasion of his 65th birthday / Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.).
2015
QA76
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logic, rewriting, and concurrency [electronic resource] : essays dedicated to José Meseguer on the occasion of his 65th birthday / Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott, (eds.).
ISBN
9783319231655 electronic book
3319231650 electronic book
9783319231648
3319231642
3319231650 electronic book
9783319231648
3319231642
Published
Cham : Springer, [2015]
Language
English
Description
1 online resource (xi, 634 pages) : illustrations.
Call Number
QA76
Dewey Decimal Classification
004
Summary
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é.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
Added Author
Meseguer, José, honoree.
Martí-Oliet, N. (Narciso), editor.
Ölveczky, Peter Csaba, editor.
Talcott, Carolyn L., editor.
Martí-Oliet, N. (Narciso), editor.
Ölveczky, Peter Csaba, editor.
Talcott, Carolyn L., editor.
Series
Lecture notes in computer science ; 9200.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 3319231642
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources