Ten Years Of Concurrency Semantics

Selected Papers Of The Amsterdam Concurrency Group

By: J. W. de Bakker (Editor), J. Rutten (Editor)

Write A Review

Hardcover | 1 September 1992

At a Glance

Hardcover
452 Pages

Hardcover

RRP $316.99

$285.75

10%OFF

or 4 interest-free payments of $71.44 with

Ships in 15 to 25 business days

This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundational and introductory papers developing the methodology of metric semantics, studies on the comparative semantics of parallel object-oriented and logic programming, and papers on full abstraction and transition system specifications. In addition, links with process algebra and the theory of domain equations are established. Throughout, a uniform proof technique is used to relate operational and denotational models. The approach is flexible in that both linear time, branching time (or bisimulation) and intermediate models can be handled, as well as schematic and interpreted elementary actions. The reprints are preceded by an extensive introduction surveying related work on metric semantics.

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 $0.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 Engineering & Technology Technology in General Engineering in General Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Computer Programming & Software Development Object-Oriented Programming or OOP Mathematics Mathematical Foundation

Booktopia Publisher Services World Scientific Publishing

Preface
Contents
Introduction	p. 1
Overview of selected papers	p. 1
Further and related work	p. 9
Amsterdam Concurrency Group - Membership	p. 13
Amsterdam Concurrency Group - Publications on semantics	p. 14
General techniques	p. 27
Processes and the denotational semantics of concurrency	p. 28
Linear time and branching time semantics for recursion with merge	p. 81
Metric semantics for concurrency	p. 104
Solving reflexive domain equations in a category of complete metric spaces	p. 131
A convergence theorem in process algebra	p. 164
Order and metric in the stream semantics of elemental concurrency	p. 196
Semantics of parallel object-oriented languages	p. 217
Denotational semantics of a parallel object-oriented language	p. 218
Semantic correctness for a parallel object-oriented language	p. 272
Semantics of parallel logic languages	p. 315
Comparative semantics for flow of control in logic programming without logic	p. 316
From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic	p. 373
Further topics	p. 397
Correctness and full abstraction of metric semantics for concurrency	p. 398
Deriving denotational models for bisimulation from Structured Operational Semantics	p. 425
Table of Contents provided by Blackwell. All Rights Reserved.

Ten Years Of Concurrency Semantics

Selected Papers Of The Amsterdam Concurrency Group

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Nexus

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

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

AI in Business For Dummies

For Dummies (Business & Personal Finance)

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

The Challenge of the Future

What Should We Keep from Yesterday as We Rush into Tomorrow?

AI for Business

A Guide to AI Adoption

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Artificial Intelligence in Creative Industries

Psychological and Social Implications

Deep-Learning-Assisted Statistical Methods with Examples in R

Chapman & Hall/CRC Data Science Series

Decision Sciences in Bioinformatics

Theory and Practice

Musical Differences

Working with Conflict in the Music Industry

Musical Differences

Working with Conflict in the Music Industry

Science Ltd.

Research Enterprise in the Age of Machines

Science Ltd.

Research Enterprise in the Age of Machines

Agentic AI For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

This product is categorised by