Lecture Notes in Computer Science

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

By: Willem-Paul de Roever (Editor), Hans Langmaack (Editor), Amir Pnueli (Editor)

Write A Review

Paperback | 18 December 1998

At a Glance

Paperback
664 Pages

Dimensions(cm)
24.13 x 15.88 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Computer Architecture & Logic Design Parallel Processing Medicine Medicine in General Mathematics Mathematical Foundation Mathematical Logic Computer Programming & Software Development

Software Engineering

The Need for Compositional Proof Systems: A Survey	p. 1
Alternating-Time Temporal Logic	p. 23
Compositionality in Data ow Synchronous Languages: Speci cation and Code Generation	p. 61
Compositional Reasoning in Model Checking	p. 81
Modeling Urgency in Timed Systems	p. 103
Compositional Re nement of Interactive Systems Modelled by Relations	p. 130
Toward Parametric Veri cation of Open Distributed Systems	p. 150
A Compositional Real-Time Semantics of STATEMATE Designs	p. 186
Deductive Veri cation of Modular Systems	p. 239
Compositional Veri cation of Real-Time Applications	p. 276
Compositional Proofs for Concurrent Objects	p. 301
An Overview of Compositional Translations	p. 327
Compositional Veri cation of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness	p. 350
Modular Model Checking	p. 381
Composition: A Way to Make Proofs Harder	p. 402
Compositionality Criteria for De ning Mixed-Styles Synchronous Languages	p. 424
Compositional Reasoning Using Interval Temporal Logic and Tempura	p. 439
Decomposing Real-Time Speci cations	p. 465
On the Combination of Synchronous Languages	p. 490
Compositional Veri cation of Randomized Distributed Algorithms	p. 515
Lazy Compositional Veri cation	p. 541
Compositional Reasoning Using the Assumption-Commitment Paradigm	p. 565
An Adequate First Order Interval Logic	p. 584
Compositional Transformational Design for Concurrent Programs	p. 609
Compositional Proof Methods for Concurrency: A Semantic Approach	p. 632
Author Index	p. 647
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

How to Talk to AI

(And How Not To)

Nexus

A Brief History of Information Networks from the Stone Age to AI

Empire of AI

Inside the reckless race for total domination

Humanâ"AI Collaboration in Research

Practical Applications, Ethical Frameworks, and Future Directions

Six Critical Lenses on AI-Generated Images

Cybersecurity for Executives

A guide to protecting your organisation, reputation and career

Control, Robotics and Sensors

Design, Control and Applications

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10â"12 September 2025

Communicating Sustainable Development Goals in the Age of Artificial Intelligence

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

Trends in Advanced Unmanned Aerial Systems

Selected Contributions of ICAUAS 2025

Expert Applications and Security

Proceedings of NICE-TEAS 2025, WSG University, Poland, Volume 2

AI for Knowledge Synthesis and Predictions

Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 5

Augmented Intelligence in Systems Engineering and Engineered Systems

The Proceedings of the 2025 Conference on Systems Engineering Research

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

Thinking AI

How Artificial Intelligence Emulates Human Understanding

From Data to Dollars

Getting Started with Data Analytics and AI in Startups

Artificial Intelligence Driven Forensics

Signals and Communication Technology

AI and Business

Mapping the Present for Harnessing the Future

Algorithmic Foundations of Robotics XVI, Volume 2

Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Where the Axe is Buried

This product is categorised by