Logic for Concurrency and Synchronisation
Author:   R.J. De Queiroz
Publisher:   Springer-Verlag New York Inc.
Edition:   2003 ed.
Volume:   18
ISBN:  

9781402012709


Pages:   285
Publication Date:   31 May 2003
Format:   Hardback
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Our Price $419.76 Quantity:  
Add to Cart

Share |

Logic for Concurrency and Synchronisation


Add your own review!

Overview

The study of information-based actions and processes is a vibrant interface between logic and computer science. The individual chapters of this book show the state of the art in contemporary investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer glimpses of future integration with obvious links including modal logics for proof graphs, labelled deduction merging modal and linear logic, Chu spaces linking proof theory and model theory and bisimulation-style equivalences for analysing proof processes. The combination of approaches and pointers for further integration also suggests a grander vision for the field.

Full Product Details

Author:   R.J. De Queiroz
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   2003 ed.
Volume:   18
Dimensions:   Width: 16.00cm , Height: 1.90cm , Length: 24.00cm
Weight:   0.622kg
ISBN:  

9781402012709


ISBN 10:   1402012705
Pages:   285
Publication Date:   31 May 2003
Audience:   General/trade ,  Professional and scholarly ,  College/higher education ,  General ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Table of Contents

Geometry of Deduction Via Graphs of Proofs.- Chu’s Construction: A Proof-Theoretic Approach.- Two Paradigms of Logical Computation in Affine Logic?.- Proof Systems for ?-Calculus Logics.- A Tutorial Introduction to Symbolic Model Checking.- Modal Logics for Finite Graphs.- Bisimulation and Language Equivalence.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now