Skip to main content
SpringerLink
Log in

Logic for Concurrency and Synchronisation

  • Book
  • © 2003

Overview

Editors:
  1. Ruy J. G. B. Queiroz

    1. Universidade Federal de Pernambuco, Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Trends in Logic (TREN, volume 18)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. From a Structural Perspective

    1. Geometry of Deduction Via Graphs of Proofs

      • Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz
      Pages 3-88

    2. Chu’s Construction: A Proof-Theoretic Approach

      • Gianluigi Bellin
      Pages 89-109

    3. Two Paradigms of Logical Computation in Affine Logic?

      • Gianluigi Bellin
      Pages 111-144

    4. Proof Systems for π-Calculus Logics

      • Mads Dam
      Pages 145-212

  3. From a Descriptive Perspective

    1. A Tutorial Introduction to Symbolic Model Checking

      • David Déharbe
      Pages 215-237

    2. Modal Logics for Finite Graphs

      • Mario R. F. Benevides
      Pages 239-267

    3. Bisimulation and Language Equivalence

      • Colin Stirling
      Pages 269-284

  4. Back Matter

    Pages 285-285
    Download chapter PDF
Back to top

Keywords

About this book

The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ‘certificate’ of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book.

Editors and Affiliations

  • Universidade Federal de Pernambuco, Recife, Brazil

    Ruy J. G. B. Queiroz

Bibliographic Information

  • Book Title: Logic for Concurrency and Synchronisation

  • Editors: Ruy J. G. B. Queiroz

  • Series Title: Trends in Logic

  • DOI: https://doi.org/10.1007/0-306-48088-3

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 2003

  • Hardcover ISBN: 978-1-4020-1270-9Published: 31 May 2003

  • Softcover ISBN: 978-94-017-4000-5Published: 03 October 2013

  • eBook ISBN: 978-0-306-48088-1Published: 11 April 2006

  • Series ISSN: 1572-6126

  • Series E-ISSN: 2212-7313

  • Edition Number: 1

  • Number of Pages: XXI, 285

  • Topics: Mathematical Logic and Foundations, Computer System Implementation, Theory of Computation, Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation