Logic for Concurrency and Synchronisation

• Corporate Author: SpringerLink (Online service)
• Other Authors: Queiroz, Ruy J. G. B. de (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2003.
• Series: Trends in Logic, Studia Logica Library ; 15
• Subjects: 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...