Text

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

---

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

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

-

Publisher

Cham : Springer Cham., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-319-23165-5

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

-

Edition

-

Subject(s)

Programming Techniques, Software Engineering

Specific Detail Info

-

Statement of Responsibility

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

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/book/10.1007/978-3-319-23165-5?awc=26429_1685494048_363610c443b49844a19287306c823cce&utm_medium=affiliate&utm_source=awin&utm_campaign=CONR_BOOKS_ECOM_DE_PHSS_ALWYS_DEEPLINK&

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment