.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Semantics for Concurrency
. Ed(S): Kwiatkowska, Marta Zofia; Shields, M.W.; Thomas, R. Murray
€ 68.01
FREE Delivery in Ireland
Description for Semantics for Concurrency
Paperback. A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups. Editor(s): Kwiatkowska, Marta Zofia; Shields, M.W.; Thomas, R. Murray. Series: Workshops in Computing. Num Pages: 346 pages, 1 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 170 x 19. Weight in Grams: 614.
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc ... Read more
The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc ... Read more
Product Details
Format
Paperback
Publication date
1990
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
346
Condition
New
Series
Workshops in Computing
Number of Pages
346
Place of Publication
Berlin, Germany
ISBN
9783540196259
SKU
V9783540196259
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Semantics for Concurrency