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)

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

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

Empire of AI

Inside the reckless race for total domination

We Are As Gods

A Survival Guide for the Age of Abundance

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

How We Learn

The New Science of Education and the Brain

Applied Machine Learning on Sensing Technologies

Ubiquitous Computing, Healthcare and Well-being

Visual Sensing and Ubiquitous Computing

Ubiquitous Computing, Healthcare and Well-being

Artificial Intelligence and Sustainable Networks

Innovations Beyond 5G

AI-Driven Digital Twin and Industry 4.0

A Conceptual Framework with Applications

AI in Material Science

Revolutionizing Construction in the Age of Industry 4.0

Algorithms, Artificial Intelligence and Beyond

Theorising Society and Culture of the 21st Century

Artificial Intelligence in Medicine

Artificial Intelligence Solutions for Cyber-Physical Systems

Autonomous Weapons Systems and the Responsibility of States

Challenges and Possibilities

Big Data and Edge Intelligence for Enhanced Cyber Defense

Principles and Research

Biopharmaceutical Informatics

Learning to Discover Developable Biotherapeutics

Blockchain as a Technology for Environmental Sustainability

Computational Approaches in Biotechnology and Bioinformatics

Emerging Trends in Biomedical Technologies and Health informatics

Convergence of Blockchain and Internet of Things in Healthcare

Smart Engineering Systems: Design and Applications

Converging Minds

The Creative Potential of Collaborative AI

Data-Centric Artificial Intelligence for Multidisciplinary Applications

This product is categorised by