Compositionality: The Significant Difference
Subtitle: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science)
Contributors: Willem-Paul de Roever (Editor); Hans Langmaack (Editor); Amir Pnueli (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 28, 1998
Language: eng
Format: Paperback
Number of pages: 647
ISBN-13: 9783540654933
Subjects: Parallel Processing; Parallel processing (Electroni; Congresses; Parallel processing (Electronic computers); Computers; Computers - General Information; Logic Design; Data Processing - Parallel Processing; General; Computers / Logic Design; concurrent systems; formal methods; formal specification; model checking; systems verification; Automatic theorem proving
First sentence: A survey is given of the main issues in compositional reasoning about state-based parallelism and of the history of their evolution, as reflected in the current literature.