.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logics and Models of Concurrent Systems
Krzysztof R. . Ed(S): Apt
€ 130.52
FREE Delivery in Ireland
Description for Logics and Models of Concurrent Systems
Paperback. Editor(s): Apt, Krzysztof R. Series: NATO ASI Subseries F. Num Pages: 500 pages, biography. BIC Classification: UKN; UM. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 26. Weight in Grams: 873.
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communication by means of interference through jointly shared variables. Some authors ([Levin & Gries, Lamport & Schneider, Schlichting and Schneider]) stress that both forms of communication can be proof theoretically characterized using interference freedom only, since proofs for both ultimately amount to an invariance proof of a big global assertion [Ashcroft], invariance of whose parts amounts to interference freedom. ... Read more
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communication by means of interference through jointly shared variables. Some authors ([Levin & Gries, Lamport & Schneider, Schlichting and Schneider]) stress that both forms of communication can be proof theoretically characterized using interference freedom only, since proofs for both ultimately amount to an invariance proof of a big global assertion [Ashcroft], invariance of whose parts amounts to interference freedom. ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
500
Condition
New
Series
NATO ASI Subseries F
Number of Pages
500
Place of Publication
Berlin, Germany
ISBN
9783642824555
SKU
V9783642824555
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logics and Models of Concurrent Systems