Logic for Concurrency and Synchronisation (Trends in Logic)
Edition: 1 edition
Publisher: Springer
Published: May 31, 2003
Language: eng
Format: Hardcover
Number of pages: 308
ISBN-13: 9781402012709
Subjects: Computer architecture & logic design; Mathematical logic; Mathematical theory of computation; Proof theory; Modality (Logic); Mathematics; Science/Mathematics; Computer Science; Logic; Philosophy / Logic; Parallel programming (Computer; Parallel programming (Computer science)
First sentence: In 1980's various studies in "Logic and Computation" were pursued with the intention of giving a logical treatment of computer programming issues.