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.39 x 15.6 x 2.26

Paperback

$101.07

or 4 interest-free payments of $25.27 with

or

Aims to ship in 7 to 10 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

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.

More in Computer Architecture & Logic Design

Soft Computing Applications for Advancements in Power Systems : River Publishers Power - Vijay Kumar Sood

$55.25

56%
OFF

Simply AI

Facts Made Fast

Hardcover

RRP $22.99

$21.90

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Paperback

RRP $95.00

$43.25

54%
OFF

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Paperback

RRP $91.25

$41.75

54%
OFF

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Paperback

RRP $125.50

$55.25

56%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Paperback

RRP $87.50

$40.40

54%
OFF

Logic and Computer Design Fundamentals, Global Edition

5th edition

Paperback

RRP $134.95

$107.50

20%
OFF

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Hardcover

RRP $347.00

$266.25

23%
OFF

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Paperback

RRP $114.00

$50.40

56%
OFF

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Paperback

RRP $106.50

$47.75

55%
OFF

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Paperback

RRP $152.00

$66.25

56%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$66.25

56%
OFF

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Paperback

RRP $87.35

$40.25

54%
OFF

Modern System Administration

Managing Reliable and Sustainable Systems

Paperback

RRP $125.50

$55.25

56%
OFF

Microservices: Up and Running

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

Paperback

RRP $106.50

$47.75

55%
OFF

Practical Monitoring

Effective Strategies for the Real World

Paperback

RRP $57.00

$28.25

50%
OFF

Distributed Services with Go

Your Guide to Reliable, Scalable, and Maintainable Systems

Paperback

RRP $87.35

$40.25

54%
OFF

Architecture, Computing and the Second World War : From Crystallography to Digital Research in Architecture - Joao Rocha

$26.50

44%
OFF

Robotics Goes Mooc : Design - Bruno Siciliano

$66.25

56%
OFF

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 Computer Architecture & Logic Design

Soft Computing Applications for Advancements in Power Systems

River Publishers Power

Architecting Data and Machine Learning Platforms

Enable Analytics and Ai-Driven Innovation in the Cloud

Simply AI

Facts Made Fast

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Services

Domain Modeling Made Functional : Pragmatic Programmers

Tackle Software Complexity with Domain-Driven Design and F#

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Logic and Computer Design Fundamentals, Global Edition

5th edition

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Nginx Cookbook

3rd Edition - Advanced Recipes for High-Performance Load Balancing

Distributed Systems with Node.js

Building Enterprise-Ready Backend Services

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Scaling Python with Dask

From Data Science to Machine Learning

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Modern System Administration

Managing Reliable and Sustainable Systems

Microservices: Up and Running

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

Practical Monitoring

Effective Strategies for the Real World

Distributed Services with Go

Your Guide to Reliable, Scalable, and Maintainable Systems

Architecture, Computing and the Second World War

From Crystallography to Digital Research in Architecture

Software Architecture with Kotlin

Combine various architectural styles to create sustainable and scalable software solutions

Getting Started with the Internet of Things

Connecting Sensors and Microcontrollers to the Cloud

Robotics Goes Mooc

Design

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

This product is categorised by

Popular Searches