Logic for Concurrency and Synchronisation -
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logic For Concurrency And Synchronisation Format Relié - Livre
0 avis sur Logic For Concurrency And Synchronisation Format Relié - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Logic For Concurrency And Synchronisation Format Relié
- Livre
Résumé :
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.
Sommaire:
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.