Order Total (1 Item Items):
Shipping Destination:
Analysis Concurrent Systems Cambridge (4 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (4)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (4)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (No further results match this refinement)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (4)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (2)
- Not Print on Demand (4)
Language (1)
Price
- Any Price
- Under £ 20 (No further results match this refinement)
- £ 20 to £ 35 (No further results match this refinement)
- Over £ 35
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings (Lecture Notes in Computer Science, 207)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the 'trains' problem.- The train set problem.- Conclusions.
-
Taschenbuch. Condition: Neu. The Analysis of Concurrent Systems | Cambridge, September 12-16, 1983. Proceedings | B. T. Denvir (u. a.) | Taschenbuch | xii | Englisch | 1985 | Springer | EAN 9783540160472 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
