Logic for Concurrency and Synchronisation Image close
Logic for Concurrency and Synchronisation on Hardback
Logic for Concurrency and Synchronisation on Hardback
Show Hide Adult Content
Logic for Concurrency and Synchronisation close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Logic for Concurrency and Synchronisation

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$295.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $73.75 with Afterpay Learn more

6 weekly interest-free payments of $49.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 14-26 June using International Courier

Explore more Trends in Logic

See all products in this series

Harmony and Paradox by Luca Tranchini
$139.00
Harmony and Paradox
by Luca Tranchini ~ Paperback / softback
Pre-order - out 11 May 2024
The Convergence of Scientific Knowledge on Hardback by Vincent F Hendricks
$451.00
The Convergence of Scientific Knowledge
by Vincent F Hendricks ~ Hardback
Available - Usually ships in 3-4 weeks
Anaphora and Type Logical Grammar on Hardback by Gerhard J'Ager
$464.00
Anaphora and Type Logical Grammar
by Gerhard J'Ager ~ Hardback
Available - Usually ships in 3-4 weeks
Meaning and Proscription in Formal Logic on Hardback by Thomas Macaulay Ferguson
$151.00
Meaning and Proscription in Formal Logic
by Thomas Macaulay Ferguson ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Action and Cognition on Hardback
$264.00
Logic, Action and Cognition
Hardback
Available - Usually ships in 3-4 weeks
Protoalgebraic Logics on Hardback by Janusz Czelakowski
$453.00
Protoalgebraic Logics
by Janusz Czelakowski ~ Hardback
Available - Usually ships in 3-4 weeks
Methods of Cut-Elimination on Hardback by Matthias Baaz
$294.00
Methods of Cut-Elimination
by Matthias Baaz ~ Hardback
Available - Usually ships in 3-4 weeks
Towards Mathematical Philosophy
$446.00
Towards Mathematical Philosophy
Paperback / softback
Available - Usually ships in 3-4 weeks
A Guide to Classical and Modern Model Theory by Annalisa Marcja
$359.00
A Guide to Classical and Modern Model Theory
by Annalisa Marcja ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Anaphora and Type Logical Grammar by Gerhard J'Ager
$445.00
Anaphora and Type Logical Grammar
by Gerhard J'Ager ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Action and Cognition
$149.00
Logic, Action and Cognition
Paperback / softback
Available - Usually ships in 3-4 weeks
The Is-Ought Problem on Hardback by G Schurz
$578.00
The Is-Ought Problem
by G Schurz ~ Hardback
Available - Usually ships in 3-4 weeks
Harmony and Paradox on Hardback by Luca Tranchini
$164.00
Harmony and Paradox
by Luca Tranchini ~ Hardback
Available - Usually ships in 3-4 weeks
Contradictions, from Consistency to Inconsistency
$292.00
Contradictions, from Consistency to Inconsistency
Paperback / softback
Available - Usually ships in 3-4 weeks
Substructural Logics: A Primer by F. Paoli
$651.00
Substructural Logics: A Primer
by F. Paoli ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Quantum Computation and Logic on Hardback by Maria Luisa Dalla Chiara
$344.00
Quantum Computation and Logic
by Maria Luisa Dalla Chiara ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
May 31st, 2003
Audiences
  • General (US: Trade)
  • Professional & Vocational
  • Tertiary Education (US: College)
Contributor
  • Edited by R.J. De Queiroz
Illustrations
XXI, 285 p.
Pages
285
Dimensions
156x234x19
ISBN-13
9781402012709
Product ID
5810065

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design