CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664) - Softcover
This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti?c relevance of their foundations. The scope of CONCUR'99 covers all areas of semantics, logics and veri?cation techniques for concurrent systems. A list of speci?c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri?cation techniques, re?nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1999
- ISBN 10 3540664254
- ISBN 13 9783540664253
- BindingPaperback
- Number of pages596
- EditorBaeten Jos C.M., Mauw Sjouke
Buy New
Learn more about this copy
US$ 112.89
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science (1664)) by Baeten, Jos C.M., Mauw, Sjouke [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540664253
Buy New
US$ 112.89
Convert currency
Stock Image
CONCUR'99. Concurrency Theory: 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings (Lecture Notes in Computer Science, 1664)
Published by
Springer
(1999)
ISBN 10: 3540664254
ISBN 13: 9783540664253
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020174185
Buy New
US$ 116.93
Convert currency
Stock Image
CONCUR'99. Concurrency Theory : 10th International Conference Eindhoven; The Netherlands; August 24-27; 1999 Proceedings
Published by
Springer
(1999)
ISBN 10: 3540664254
ISBN 13: 9783540664253
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540664253_lsuk
Buy New
US$ 122.63
Convert currency
Seller Image
CONCUR'99. Concurrency Theory
Published by
Springer Berlin Heidelberg Aug 1999
(1999)
ISBN 10: 3540664254
ISBN 13: 9783540664253
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR 99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromo te its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti c relevance of their foundations. The scope of CONCUR 99 covers all areas of semantics, logics and veri cation techniques for concurrent systems. A list of speci c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri cation techniques, re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri cation. The rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466. 596 pp. Englisch. Seller Inventory # 9783540664253
Buy New
US$ 119.76
Convert currency
Stock Image
CONCUR'99. Concurrency Theory
Seller:
Rating
Book Description Condition: New. pp. 596. Seller Inventory # 263062719
Buy New
US$ 142.31
Convert currency
Seller Image
CONCUR 99. Concurrency Theory
Published by
Springer Berlin Heidelberg
(1999)
ISBN 10: 3540664254
ISBN 13: 9783540664253
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Lectures.- Temporal Process Logic.- An Unfolding Algorithm for Synchronous Products of Transition Systems.- Petri Nets, Configuration Structures and Higher Dimensional Automata.- Expressiveness and Distributed Implementation of Concurrent Calculi wi. Seller Inventory # 4897686
Buy New
US$ 103.29
Convert currency
Seller Image
CONCUR'99. Concurrency Theory : 10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
Published by
Springer Berlin Heidelberg
(1999)
ISBN 10: 3540664254
ISBN 13: 9783540664253
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 10th International Conference on Concurrency Theory (CONCUR 99) held in Eindhoven, The Netherlands, 24-27 August 1999. ThepurposeoftheCONCURconferencesistobringtogetherresearchers,- velopersandstudentsinordertoadvancethetheoryofconcurrencyandpromote its applications. Interest in this topic is continuously growing, as a consequence oftheimportanceandubiquityofconcurrentsystemsandtheirapplications,and of the scienti c relevance of their foundations. The scope of CONCUR 99 covers all areas of semantics, logics and veri cation techniques for concurrent systems. A list of speci c topics includes (but is not limited to) concurrency-related - pects of: models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, stochastic systems, - cidability, model-checking, veri cation techniques, re nement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, and tools and environments for programming and veri cation. The rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991, the following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL) and Nice (F). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, and 1466. Seller Inventory # 9783540664253
Buy New
US$ 124.33
Convert currency
Stock Image
CONCUR'99. Concurrency Theory
Print on Demand
Seller:
Rating
Book Description Condition: New. Print on Demand pp. 596 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5833824
Buy New
US$ 155.91
Convert currency