ISBN 9781852338954,Concurrency Theory

Concurrency Theory

Rs2500

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9781852338954
Check delivery information
 
ISBN 9781852338954
Publisher

Ingram Publisher Services

Publication Year 2005
ISBN-13

ISBN 9781852338954

ISBN-10 1852338954
Binding

Hardback

Number of Pages 460 Pages
Subject

Mathematical theory of computation

Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.
Scroll