Lecture Notes in Computer Science

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

Lecture Notes in Computer Science

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 Network Hardware

Security Standardisation Research

10th International Conference, SSR 2025, Passau, Germany, December 4â"5, 2025, Proceedings

Applied Embedded Electronics

Design Essentials for Robust Systems

Model and Data Engineering

14th International Conference, MEDI 2025, Cairo, Egypt, November 2-4, 2025, Proceedings

Attacks and Defenses for the Internet-of-Things

8th International Conference, ADIoT 2025, Changzhou, China, November 14â"16, 2025, Proceedings

Information Management and Big Data

12th Annual International Conference, SIMBig 2025, Lima, Peru, October 29â"31, 2025, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

25th International Conference, NEW2AN 2025, and 18th Conference, ruSMART 2025, Abu Dhabi, United Arab Emirates, November 10â"12, 2025, Proceedings, Part II

Machine Learning, Optimization, and Data Science

11th International Conference, LOD 2025, Castiglione della Pescaia, Italy, September 21â"24, 2025, Revised Selected Papers, Part I

Smart Antenna Systems for 5G, Radar, Navigation and Satellite Technologies

Internet of Things, Smart Spaces, and Next Generation Networks and Systems

25th International Conference, NEW2AN 2025, and 18th Conference, ruSMART 2025, Abu Dhabi, United Arab Emirates, November 10â"12, 2025, Proceedings, Part I

Machine Learning for Networking

8th International Conference, MLN 2025, Paris, France, December 2â"4, 2025, Revised Selected Papers

Computational Intelligence in Communications and Business Analytics

7th International Conference, CICBA 2025, Kolkata, India, July 4â"6, 2025, Revised Selected Papers, Part III

Application of Big Data, Blockchain, and Internet of Things for Education Informatization

4th EAI International Conference, BigIoT-EDU 2024, Beihai, China, August 18â"20, 2024, Proceedings, Part V

Computer Security. ESORICS 2025 International Workshops

ANUBIS 2025, SECAI 2025, SecAssure 2025, STMUS 2025, Toulouse, France, September 22â"24, 2025, Revised Selected Papers, Part II

New IPv6 Transition Technology

IPv6-only, IPv6-mostly and IPv4 as a Service

Semantic Communications

Textbooks in Telecommunication Engineering

Emerging Technologies for Developing Countries

8th EAI International Conference, AFRICATEK 2025, Tunis, Tunisia, June 11â"13, 2025, Proceedings, Part I

Computational Intelligence in Communications and Business Analytics

7th International Conference, CICBA 2025, Kolkata, India, July 4â"6, 2025, Revised Selected Papers, Part II

Innovative Security Solutions for Information Technology and Communications

18th International Conference, SecITC 2025, Bucharest, Romania, November 20â"21, 2025, Revised Selected Papers

PRICAI 2025: Trends in Artificial Intelligence

22nd Pacific Rim International Conference on Artificial Intelligence, PRICAI 2025, Wellington, New Zealand, November 17â"21, 2025, Proceedings, Part V

Web and Internet Economics

21st International Conference, WINE 2025, New Brunswick, NJ, USA, December 8â"11, 2025, Proceedings

Computer Security. ESORICS 2025 International Workshops

DPM 2025, CBT 2025, CyberICPS 2025, Toulouse, France, September 25â"26, 2025, Revised Selected Papers, Part I

Lecture Notes of the Institute for Computer Sciences, Social

8th EAI International Conference, AFRICATEK 2025, Tunis, Tunisia, June 11â"13, 2025, Proceedings, Part II

Frontier Computing: Vol 1

Theory, Technologies and Applications (FC 2025)

Social Robotics + BioMed

17th International Conference on Social Robotics + BioMed, ICSR + BioMed 2025, Xi'an, China, September 26-28, Proceedings

This product is categorised by