CONCUR'97

Concurrency Theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings

By: Antoni Mazurkiewicz (Editor), Jozef Winkowski (Editor)

Write A Review

Paperback | 11 June 1997

At a Glance

Paperback
436 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.

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 Computer Architecture & Logic Design Parallel Processing Computer Networking & Communications Computer Programming & Software Development Programming & Scripting Languages Compilers & Interpreters Systems Analysis & Design Computer Hardware Network Hardware

Recent developments in the mathematics of reactive systems	p. 1
Partial-order reduction in the weak modal mu-calculus	p. 5
Cyclic vector languages	p. 25
A product version of dynamic linear time temporal logic	p. 45
Reasoning about cryptographic protocols in the Spi calculus	p. 59
Modularity for timed and hybrid systems	p. 74
A universal reactive machine	p. 89
Bounded stacks, bags and queues	p. 104
Adding partial orders to linear temporal logic	p. 119
Reachability analysis of pushdown automata: application to model-checking	p. 135
Synthesis of nets with inhibitor arcs	p. 151
An algebraic theory of multiple clocks	p. 166
Horizontal and vertical structuring techniques for statecharts	p. 181
Implicit typing a la ML for the join-calculus	p. 196
Proving safety properties of infinite state systems by compilation into Presburger arithmetic	p. 213
Axiomatizing flat iteration	p. 228
Probabilistic concurrent constraint programming	p. 243
On the complexity of verifying concurrent transition systems	p. 258
Fair simulation	p. 273
High level expressions with their SOS semantics	p. 288
How to parallelize sequential processes	p. 302
Causal ambiguity and partial orders in event structures	p. 317
Model checking PA-processes	p. 332
Bisimulation and propositional intuitionistic logic	p. 347
A rigorous analysis of concurrent operations on b-trees	p. 361
First-order axioms for asynchrony	p. 376
On implementations and semantics of a concurrent programming language	p. 391
Algebraic characterization of Petri net pomset semantics	p. 406
Author Index	p. 421
Table of Contents provided by Blackwell. All Rights Reserved.

CONCUR'97

Concurrency Theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Parallel Processing

Engineering Lakehouses with Open Table Formats

Build scalable and efficient lakehouses with Apache Iceberg, Apache Hudi, and Delta Lake

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

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Deep Learning in Genome Mapping

Computation and Analysis

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Top-Down Network Design

3rd edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Data Mesh

Delivering Data-Driven Value at Scale

Production Kubernetes

Building Successful Application Platforms

Foundations of Scalable Systems

Designing Distributed Architectures

Learning Apache OpenWhisk

Developing Open Serverless Solutions

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

Fundamentals of Metadata Management

Uncover the Meta Grid and Unlock Data, Information, and Knowledge Management

Streaming Data Pipelines with Apache Kafka

Kafka for Architects

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

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Scaling Python with Dask

From Data Science to Machine Learning

Seeking SRE

Conversations about running production systems at scale

This product is categorised by