Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic for Concurrency and Synchronisation

Name: Logic for Concurrency and Synchronisation
Brand: Springer Netherlands
SKU: 05256029
Price: 118.39 EUR
Availability: InStock
Author: R. J. de Queiroz
ISBN: 9781402012709

R. J. de Queiroz

Language

English

Book Hardback

Libristo code: 05256029

Publishers Springer Netherlands, November 2002

"The study of information-based actions and processes has been a vibrant interface between logic and... Full description

Libristo code: 05256029

290 b

118.39 € VAT included

Low in stock at our supplier Shipping in 13-18 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Défense De L'ordre Social Contre Les Principes De La Révolution Française Jean Baptiste Duvoisin

Hardback

37.69 €

Improvisations on a Missing String Nazik Saba Yared

Hardback

38.39 €

Das Leben Jesu in Stundenbildern Heinz-Lothar Worm

Sheet

28.99 €

MHM - Maxi magnets - Le mini monstre à compter Laurence Le Corf

Hardback

38.89 €

Logico Piccolo 3463a - Ismeretek: Az idő Stephan Ute

Paperback

6.99 €

Las fiestas judías y el Mesías Voltaggio

Paperback

19.69 €

Autour de l'Espagne des validos, 1598-1645 Book

binding.

24.39 €

Sprawy do załatwienia. Deadpool. Tom 12 Gerry Duggan

Paperback

11.59 €

ENTRE MOGADOR Y SIDI IFNI. UNA HISTORIA DE ESPEJISMOS YOUSSEF AKMIR

Hardback

31.09 €

Blancanieves y Los 77 Enanitos Davide Cali

Hardback

18.49 €

Tom und Jerry, 70 Jahre Jubiläumsfeier Deluxe, 2 DVDs Zeichentric K

DVD

13.59 €

Medienfunktionen in Thomas Manns 'Der Zauberberg' und Franz Kafkas 'Der Process' Alexander Monagas

Paperback

17.95 €

La Vita Sul Pianeta Marte G. V. (Giovanni Virginio) Schiaparelli

Hardback

17.90 €

"The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. Viewed together, the chapters also offer exciting 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. In classical computation theory, Church's Thesis provided a unifying and driving force. Likewise, modern process theory would benefit immensely from a synthesis bringing together paradigms like modal logic, process algebra, and linear logic. §If this Grand Synthesis is ever going to happen, books like this are needed! "