Models for Concurrency (Algebra, Logic and Applications, Vol 11)
Publisher: CRC
Published: May 24, 1999
Language: eng
Format: Hardcover
Number of pages: 238
ISBN-13: 9789056991999
Subjects: Computer Hardware & Operating Systems; Mathematical logic; Programming - Systems Analysis & Design; Data Transmission Systems; Computers; Computers - General Information; Computer Books: General; Applied; General; Mathematics / Applied
First sentence: First-order languages and their interpretations (models) are used in this book to specify systems and describe the behavior of programs.