On Concurrent Programming
1 Introduction. - 1. 1 Concurrent Programs. - 1. 2 Communication and Synchronization. - 1. 3 Understanding Concurrent Programs. - 1. 4 A Preview. - Historical Notes for Chapter 1. - Exercises for Chapter 1. - 2 Formal Logic. - 2. 1 Formal Logical Systems. - 2. 2 Propositional Logic. - 2. 3 A Predicate Logic. - 2. 4 Safety and Liveness Revisited. - Historical Notes for Chapter 2. - Exercises for Chapter 2. - 3 Temporal Logic. - 3. 1 Informal Preview. - 3. 2 Syntax and Meaning of Formulas. - 3. 3 Axioms and Inference Rules. - 3. 4 Temporal Logic Applications. - 3. 5 About Modal Logics. - Historical Notes for Chapter 3. - Exercises for Chapter 3. - 4 Notation and Logic for Sequential Programming. - 4. 1 Notation for Sequential Programs. - 4. 2 Reasoning About Program States. - 4. 3 Proof Outline Logic. - 4. 4 Assignment to Composite Variables. - 4. 5 A Predicate Transformer. - Historical Notes for Chapter 4. - Exercises for Chapter 4. - 5 Concurrency and Interference. - 5. 1 Specifying Concurrency. - 5. 2 Control Predicate Axioms. - 5. 3 Interference Freedom. - 5. 4 Hiding Control Predicates in Derived Terms. - 5. 5 Synchronously Altered and Shared Assertions. - 5. 6 Specifying Synchronization. - 5. 7 Synchronization and Interference. - Historical Notes for Chapter 5. - Exercises for Chapter 5. - 6 Safety Properties: Invariance. - 6. 1 Invariance Properties. - 6. 2 Verifying Invariance Properties. - 6. 3 Exclusion of Configurations. - 6. 4 Direct Use of Proof Outlines. - 6. 5 Developing Programs for Invariance Properties. - Historical Notes for Chapter 6. - Exercises for Chapter 6. - 7 Safety Properties with Past Terms. - 7. 1 Historical Safety Properties. - 7. 2 Past Extensions to Predicate Logic. - 7. 3 Verifying Historical Safety Properties. - 7. 4 Developing Programs for Historical Safety Properties. - 7. 5 Auxiliary Variables. - 7. 6 Some Cautions. - Historical Notes for Chapter 7. - Exercises for Chapter 7. - 8 Verifying Arbitrary Temporal Logic Properties. - 8. 1 S-Temporal Logic Revisited. - 8. 2 Unless Properties and Derivatives. - 8. 3 Fairness Assumptions. - 8. 4 Reasoning from Fairness Assumptions. - 8. 5 Helpful Actions and Eventualities. - 8. 6 Liveness for Mutual Exclusion. - Historical Notes for Chapter 8. - Exercises for Chapter 8. - 9 Programming with Fine-Grained Atomic Actions. - 9. 1 Pretending Atomicity. - 9. 2 Translation-Independent Reasoning. - 9. 3 Implementing Condition Synchronization. - 9. 4 Programming with the Subset. - 9. 5 Synchronization and Interference Revisited. - 9. 6 Interlock Instructions. - 9. 7 Example: Barrier Synchronization. - Historical Notes for Chapter 9. - Exercises for Chapter 9. - 10 Semaphores Locks and Conditional Critical Regions. - 10. 1 Semaphores. - 10. 2 Change of Variable to use Semaphores. - 10. 3 Binary Semaphores and Locks. - 10. 4 Split Binary Semaphore Method. - 10. 5 Conditional Critical Regions. - Historical Notes for Chapter 10. - Exercises for Chapter 10. - 11 Message Passing and Distributed Programming. - 11. 1 Asynchronous Message-Passing. - 11. 2 Synchronous Message-Passing. - 11. 3 Derivation of Distributed Programs. - 11. 4 Shared-Variable Representations. - Historical Notes for Chapter 11. - Exercises for Chapter 11. - 12 Putting It Together. - 12. 1 On Languages. - 12. 2 Principles for Verifying Safety and Liveness Properties. - 12. 3 Proofs Only Increase Confidence. - 12. 4 A Tool and Applications. - Historical Notes for Chapter 12. - References. Language: English
| Brand | Unbranded |
|---|---|
| Artist | Fred B. Schneider |
| Format | Paperback |
| Language | English |
| Publication Date | 2012/09/30 |
| Publisher / Label | Springer |
| Product ID | 337908804-741568302 |
| ISBN | 9781461273035 |
| $14.49 | STANDARD: | Estimated delivery date Tue 30 June 2026 ─ Fri 03 July 2026 |
Product is shipped from United Kingdom.
Alternative shipping methods can be selected at checkout.
Products are shipped by the individual Fruugo retailers, who are located across Europe and the rest of the world. The delivery times and shipping prices vary depending on the retailer's location, the destination country and the selected delivery method.
Fruugo offers two delivery options: Standard Delivery or Express Delivery. All retailers offer a standard delivery service, and some retailers also offer an express delivery service.
- Standard Delivery – Domestic Standard delivery takes approximately 2-5 business days from dispatch, while an International Standard delivery takes 5-14 business days from dispatch. Normally track and trace and proof of delivery are not available on a standard service.
- Express Delivery – Domestic Express delivery takes approximately 1-2 business days from dispatch, while an International Express delivery takes 3-7 business days from dispatch. Usually track and trace and/or proof of delivery are available on an express service.
Although Fruugo retailers endeavour to deliver within these timescales, please note that the above timescales are estimated and not guaranteed.
The delivery timescales do not include any customs clearing times beyond Fruugo's control.
Please allow additional shipping time for deliveries to exceptional locations that are hard to reach, and also during busy periods such as Christmas.
All carriers deliver during normal business working hours and may require a signature on receipt, so please ensure your order is delivered to an address where someone will be available to accept it.
We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.
Certain products purchased at Fruugo cannot be returned. They fall in the following categories:
- goods which are clearly personalised or made to your specifications
- goods which are liable to deteriorate rapidly, eg fresh fruit, fresh flowers
- sealed goods which are not suitable for return due to health protection or hygiene reasons, if opened, eg make up, underwear, pierced jewellery
- sealed audio or video recordings or computer software, if opened
- newspapers, periodicals and magazines
Please take reasonable care of the goods whilst in your care. Any goods returned must be in a resaleable condition. They must be unworn/unused with original tags attached and in original packaging. It is your responsibility to ensure that the goods are appropriately packaged to ensure they are not damaged in return transit.
Notifying us of a return
If you wish to return an order, or some of the products included in an order, please notify Fruugo customer care within 14 days of receiving the goods, including the following information:
- your name,
- order number,
- the item(s) you wish to return, and
- optionally a reason for your return: unsatisfied with item, item didn't match description, damaged item, wrong item, or some other reason.
Our customer care will send you specific instructions on how to ship the return package(s) to the retailer(s). Please do not ship the return package before you receive the instructions.
Shipping products back to retailers
Goods must be returned without undue delay and in any event not later than 14 days after notifying us of your cancellation.
If you are returning products to several retailers, you should distribute the products accordingly and send the products to those retailers who shipped them to you initially.
We strongly recommend that you use registered mail (and insure any high-value packages), since neither Fruugo nor the retailer take responsibility for shipments that are lost or damaged during return transportation.
Please ensure you retain a proof of postage receipt so in the unlikely event your parcel goes missing, you will have proof you sent it.
Refunds
You will be refunded within 14 days of the retailer receiving back the goods. We will notify you by e-mail once the products reach the retailer and are accepted for return. Where a retailer has offered to collect the goods, you will be refunded within 14 days of cancelling your contract.
Unless a product or products you wish to return arrived to you damaged or faulty, you are responsible for the return transportation costs.
Providing you are returning all the products from a specific retailer, we will refund the standard shipping costs you paid for the original delivery. If you chose to pay for a non-standard delivery, we will only refund the cost of our least expensive, standard delivery.
Damaged or faulty goods
If you receive a damaged, broken, or defective product, please notify Fruugo customer care as soon as possible. Include at least the following information:
- your name,
- order number,
- name of the damaged product(s), and
- state the nature of the damage with attached photograph
We will generally instruct you to ship the damaged product back to the retailer. As soon as it reaches the retailer, they will send you a replacement product. If the replacement can't be made, or if you wish to cancel the order, you will be refunded in full. You will also be reimbursed for reasonable returns postage costs for damaged or faulty goods once we have received your postage receipt.
If the outer packaging of your order is clearly damaged on arrival, and you are suspecting that the products are damaged as well, you can either reject the delivery or accept the goods and sign for them as damaged. In both instances, please notify Fruugo customer care as soon as possible.
Refusing delivery
If you refuse to accept delivery of all or part of your order (where the products or packaging do not appear to be damaged or defective) you will be responsible for the postage charges. Any fees and charges incurred by the retailer due to a package being refused will be deducted from your merchandise refund.