Logic, Rewriting, and Concurrency
View on Open Library ↗

Logic, Rewriting, and Concurrency

by

2.5 hrs read
Rate this book:
634 pages 2015

Buy This Book

Amazon → Bookshop.org Supports indie bookshops → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Carolyn Talcott

All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
2007
Composing Model-Based Analysis Tools
Composing Model-Based Analysis Tools
2021
Logic, Language, and Security
Logic, Language, and Security
2020
Proceedings of the 9th Interna
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
2010
Rebeca for Actor Analysis in A
Rebeca for Actor Analysis in Action
2025
Reflections on the Foundations
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
2002

View all books by Carolyn Talcott →