Logic for Concurrency and Synchronisation

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Queiroz, Ruy J. G. B. de (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2003.
• Σειρά: Trends in Logic, Studia Logica Library ; 15
• Θέματα: Mathematics.; Logic.; Architecture, Computer.; Computers.; Mathematical logic.; Mathematical Logic and Foundations.; Computer System Implementation.; Theory of Computation.

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- c...

Πίνακας περιεχομένων:

• 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.