Semantics of Concurrent Computation Image close
Semantics of Concurrent Computation
Semantics of Concurrent Computation
Show Hide Adult Content
Semantics of Concurrent Computation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Algorithms & procedures

Semantics of Concurrent Computation

Proceedings of the International Symposium Evian, France, July 2-4, 1979
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $34.50 with Afterpay Learn more

6 weekly interest-free payments of $23.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 23 Jul - 2 Aug using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Critical Information Infrastructures Security
$170.00
Critical Information Infrastructures Security
Paperback / softback
Pre-order - out 29 Jul 2024
Pattern Recognition and Machine Intelligence
$554.00
Pattern Recognition and Machine Intelligence
Paperback / softback
Pre-order - out 11 Aug 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$196.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 31 Jul 2024
Computer Architecture
$148.00
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$150.00
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Database and Expert Systems Applications
$238.00
Database and Expert Systems Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Recent Trends in Algebraic Development Techniques
$150.00
Recent Trends in Algebraic Development Techniques
Paperback / softback
Available - Usually ships in 3-4 weeks
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems
$137.00
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
The Computational Complexity of Equivalence and Isomorphism Problems by Thomas Thierauf
$148.00
The Computational Complexity of Equivalence and Isomorphism Problems
by Thomas Thierauf ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$175.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Knowledge Discovery and Data Mining
$175.00
Advances in Knowledge Discovery and Data Mining
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$131.00
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
An Attribute Grammar for the Semantic Analysis of ADA by J. Uhl
$186.00
An Attribute Grammar for the Semantic Analysis of ADA
by J. Uhl ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description



Table of Contents

The temporal semantics of concurrent programs.- Modal logic of concurrent nondeterministic programs.- Non-deterministic system specification.- On properties preserved by contractions of concurrent systems.- Static analysis of concurrent processes for dynamic properties using Petri Nets.- Notion de Dualite et de Symetrie dans les Reseaux de Petri.- A characterization of concurrency-like relations.- The analysis of distributed systems by means of predicate/transition-nets.- On describing the behavior and implementation of distributed systems.- On the absence of livelocks in parallel programs.- Denotational semantics of parallelism.- An approach to fair applicative multiprogramming.- Modeling a solution for a control problem in distributed systems by restrictions.- Adequate path expressions.- Petri nets, event structures and domains.- An extensional treatment of dataflow deadlock.- On achieving distributed termination.- Specifying and proving properties of guardians for distributed systems.- Principles for distributing programs.- A Petri net definition of a system description language.
Release date NZ
June 1st, 1979
Audience
  • Professional & Vocational
Contributor
  • Edited by G. Kahn
Illustrations
VIII, 372 p.
Pages
372
Dimensions
156x234x19
ISBN-13
9783540095118
Product ID
2806889

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Algorithms & procedures
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation