Compositionality

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 $79.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.

Compositionality

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 Parallel Processing

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Parallel Computing

Design and Analysis of Algorithms

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Rust Atomics and Locks

Low-Level Concurrency in Practice

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Deep Learning in Genome Mapping

Computation and Analysis

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Apache OpenWhisk

Developing Open Serverless Solutions

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Streaming Data Pipelines with Apache Kafka

Kafka for Architects

Event-driven Architecture, Logs, Microservices, Real-time Event Processing

Seeking SRE

Conversations about running production systems at scale

Modern System Administration

Managing Reliable and Sustainable Systems

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

Flow Architectures

The Future of Streaming and Event-Driven Integration

Foundations of Scalable Systems

Designing Distributed Architectures

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Data Mesh

Delivering Data-Driven Value at Scale

Production Kubernetes

Building Successful Application Platforms

Scaling Python with Dask

From Data Science to Machine Learning

This product is categorised by