Seminar on Concurrency
Subtitle: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science)
Contributors: Stephen D. Brookes (Editor); Andrew W. Roscoe (Editor); Glynn Winskel (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 3, 1985
Language: eng
Format: Paperback
Number of pages: 540
ISBN-13: 9783540156703
Subjects: Computer Science; Programming - General; Computers / Programming / General; Computers - Languages / Programming
First sentence: It is widely accepted that formal reasoning about program properties is desirable.