Cover Image

Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures /

Show other versions (1)

"This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book i...

Full description

Bibliographic Details
Corporate Authors: COMPOS '97 Malente, Germany, SpringerLink (Online service)
Other Authors: Roever, W.-P. de, 1943- (Editor), Langmaack, Hans (Editor), Pnueli, Amir, 1941-2009 (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1536. 0302-9743.
Subjects:
Parallel processing (Electronic computers) > Congresses.
Automatic theorem proving > Congresses.
Automatic theorem proving.
Parallel processing (Electronic computers)
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:"This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses."--Publisher's description.
Physical Description:1 online resource (viii, 646 pages) : illustrations
Bibliography:Includes bibliographical references and author index.
ISBN:9783540492139
3540492135