Theoretical Aspects of Computer Software
Subtitle: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science)
Contributors: Naoki Kobayashi (Editor); Benjamin C. Pierce (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 9, 2001
Language: eng
Format: Paperback
Number of pages: 561
ISBN-13: 9783540427360
Subjects: Computer Software Packages; Programming languages; Software engineering; General; Software Design; Computers; Computers - Languages / Programming; Computer Books: General; Programming - Software Development; Operating Systems - General; Programming - General; Action Calculi; Computers / Logic Design; Concurrency; Control-Flow Analysis; Model Checking; Program Logic; Program Semantics; Computer software; Congresses
First sentence: We present a logic for describing the behavior and spatial structure of concurrent systems.