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.75

or 4 interest-free payments of $42.44 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

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

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

The New Rules of AI Search

SEO for visibility in ChatGPT, Google Gemini and Generative Search

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Claude For Dummies

Medium Hot

Images in the Age of Heat

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

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

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Empire of AI

Inside the reckless race for total domination

Co-Intelligence

Living and Working with AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

Co-Existence

The Next Phase of AI

We Are Not Machines

The Fight for the Future of Work

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

Fuzzy Logic in Computational Intelligence

Applications and Case Studies

Artificially Yours

Real Friendship in a World of Chatbots

AI for Public Relations

A How-To Guide for Implementation and Management

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Recent Advances in Information Systems

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

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

The Reverse Centaur's Guide to Life After AI

How to Think about Artificial Intelligence--Before It's Too Late

Securing the Internet of Things

Machine Learning and Beyond

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

This product is categorised by