Search Results

Logic for Concurrency and Synchronisation

by Ruy J G B de Queiroz, Ruy J G B de Queiroz

About this title: This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

Note: This is a general synopsis. Each listing is described below.

The title you're seeking is not available right now. The good news is that there's still hope for your search:

Check back often. What you want might be here soon, as sellers worldwide list additional items every day.
Check your search entry. Make sure there weren't any typos, and that you have the right titles, names, keywords, etc.
Check with Book Fetch. Once you submit a Book Fetch request, we stay on the lookout for your book.
Check for other good stuff. With more than 100 million items, our marketplace almost always brings you happy search results.