Visit our Christmas Gift Finder
Click & Collect from 2 Hours*
Free Delivery to UK Shops
Free UK Standard Delivery On all orders £20 and over Free Delivery to UK Shops Local shops and expert booksellers nationwide Free Click & Collect to UK shops From 2 hours of your order*
Ten Years Of Concurrency Semantics: Selected Papers Of The Amsterdam Concurrency Group (Hardback)
  • Ten Years Of Concurrency Semantics: Selected Papers Of The Amsterdam Concurrency Group (Hardback)
zoom

Ten Years Of Concurrency Semantics: Selected Papers Of The Amsterdam Concurrency Group (Hardback)

(editor), (editor)
£146.00
Hardback 452 Pages / Published: 01/09/1992
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: World Scientific Publishing Co Pte Ltd
ISBN: 9789810210410
Number of pages: 452

You may also be interested in...

Computer Systems
Added to basket
Digital Design: International Editions
Added to basket
Computer Systems Architecture
Added to basket
The ZX Spectrum ULA
Added to basket
Articulating Design Decisions
Added to basket
Beyond Software Architecture
Added to basket
Enterprise Data Architecture
Added to basket
Assembly Language Step-by-Step
Added to basket
Principles of Computer Hardware
Added to basket

Please sign in to write a review

Your review has been submitted successfully.