Items related to Semantics for Concurrency: Proceedings of the International...
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK (Workshops in Computing) - Softcover
Synopsis
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 ture, compositionality, and the elegance of the interleaving counter parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1990
- ISBN 10 3540196250
- ISBN 13 9783540196259
- BindingPaperback
- Edition number1
- Number of pages354
- EditorKwiatkowska Marta Z., Shields Michael W., Thomas Richard M.
Buy New
Learn more about this copy
US$ 56.82
Shipping:
FREE
Within U.S.A.
Other Popular Editions of the Same Title
Top Search Results from the AbeBooks Marketplace
Seller Image
Semantics for Concurrency: Proceedings Of The International Bcs-Facs Workshop, Sponsored By Logic For It (S.E.R.C.), 23-25 July 1990, University Of Leicester, Uk (Workshops In Computing) [Paperback ]
Print on DemandSeller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783540196259
Quantity: 10 available
Seller Image
Semantics for Concurrency : Proceedings of the International Bcs-facs Workshop, Sponsored by Logic for It (S.e.r.c.), 23?25 July 1990, University of Leicester, Uk
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19849499-n
Quantity: 5 available
Stock Image
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23?25 July 1990, University of Leicester, UK (Workshops in Computing)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020162157
Quantity: Over 20 available
Stock Image
Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK (Workshops in Computing)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 360 pages. 9.61x6.69x0.81 inches. In Stock. Seller Inventory # x-3540196250
Quantity: 2 available
Seller Image
Semantics for Concurrency : Proceedings of the International Bcs-facs Workshop, Sponsored by Logic for It (S.e.r.c.), 23â"25 July 1990, University of Leicester, Uk
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19849499-n
Quantity: 5 available
Seller Image
Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23¿25 July 1990, University of Leicester, UK
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 ture, compositionality, and the elegance of the interleaving counter parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A. Seller Inventory # 9783540196259
Quantity: 1 available
Seller Image
Semantics for Concurrency
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4884226
Quantity: Over 20 available
Stock Image
Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop; Sponsored by Logic for IT (S.E.R.C.); 23-25 July 1990; University of Leicester; UK
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540196259_lsuk
Quantity: Over 20 available
Seller Image
Semantics for Concurrency
Published by
Springer London Jul 1990, 1990
ISBN 10: 3540196250
ISBN 13: 9783540196259
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 ture, compositionality, and the elegance of the interleaving counter parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A. 356 pp. Englisch. Seller Inventory # 9783540196259
Quantity: 2 available
Seller Image
Semantics for Concurrency : Proceedings of the International Bcs-facs Workshop, Sponsored by Logic for It (S.e.r.c.), 23?25 July 1990, University of Leicester, Uk
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19849499
Quantity: 5 available