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

"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