Specification and Proof in Real Time CSP Image close
Specification and Proof in Real Time CSP by Jim Davies
Specification and Proof in Real Time CSP by Jim Davies
Show Hide Adult Content
Specification and Proof in Real Time CSP close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Specification and Proof in Real Time CSP

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$162.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 $40.50 with Afterpay Learn more

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

Availability

Delivering to:

Estimated arrival:

  • Around 4-14 June using International Courier

Explore more Distinguished Dissertations in Computer Science

See all products in this series

Qualified Types by Mark P. Jones
$114.00
Qualified Types
by Mark P. Jones ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Compositional Approach to Performance Modelling by Jane Hillston
$127.00
A Compositional Approach to Performance Modelling
by Jane Hillston ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP on Hardback by Jim Davies
$298.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Hardback
Available - Usually ships in 3-4 weeks
Functional Programming and Input/Output by Andrew D. Gordon
$101.00
Functional Programming and Input/Output
by Andrew D. Gordon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures on Hardback by Leslie Ann Goldberg
$278.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Hardback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures by Leslie Ann Goldberg
$114.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming by James H. Andrews
$108.00
Logic Programming
by James H. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore
$128.00
Axiomatic Domain Theory in Categories of Partial Maps
by Marcelo P. Fiore ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout on Hardback by A.C. Harter
$318.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Hardback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture on Hardback by Sai Lai Lo
$275.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Hardback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout by A.C. Harter
$127.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot by D.C. Lee
$109.00
The Map-Building and Exploration Strategies of a Simple...
by D.C. Lee ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture by Sai Lai Lo
$97.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Affine Analysis of Image Sequences by Larry S. Shapiro
$108.00
Affine Analysis of Image Sequences
by Larry S. Shapiro ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Auditory Processing and Organisation by Martin Cooke
$108.00
Modelling Auditory Processing and Organisation
by Martin Cooke ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.
Release date NZ
January 12th, 2012
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
200
Dimensions
170x244x11
ISBN-13
9781107403864
Product ID
18547596

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

Explore more by Jim Davies

See all books by this author

Engineering Agile Big-Data Systems on Hardback by Kevin Feeney
$291.00
Engineering Agile Big-Data Systems
by Kevin Feeney ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design >
Parallel processing
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design >
Parallel processing