Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Compiler Design

CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)


Mega Sale! Save 26% on the CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science) by Catuscia Palamidessi at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania,


Product Description

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, 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), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

Additional Information

Manufacturer:Springer
Brand:Catuscia Palamidessi
Publisher:Springer
Studio:Springer
EAN:9783540678977
Item Weight:1.92 pounds
Item Size:1.41 x 9.25 x 9.25 inches
Package Weight:2 pounds
Package Size:6 x 1.5 x 1.5 inches

CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science) by Catuscia Palamidessi

Buy Now:
CONCUR 2000 - Concurrency Theory: 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)

Brand: Catuscia Palamidessi
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$159.00
$118.63
You Save: 25%


Quantity:  

 


View More In Compiler Design.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Catuscia Palamidessi, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Springer
mpn: Illustrations, ean: 9783540678984, isbn: 3540678980,

By Thomas Reps
mpn: biography, ean: 9783540713159, isbn: 3540713158,

By Wehmeyer Lars Marwedel Peter
mpn: biography, ean: 9789048172009, isbn: 9048172004,
Speed improvements in memory systems have not kept pace with the speed improvements of processors, leading to embedded systems whose performance is limited by the memory. This book presents design techniques for fast, energy-efficient and timing-pred...

By Wiley

By Brand: Springer
ean: 9780792393184, isbn: 079239318X,
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises great practical rewards. There is a tremendous investment in existing sequential programs, and scientists ...

By Manisha Verma Peter Marwedel
ean: 9781850757764, isbn: 1402058969,
This book proposes novel memory hierarchies and software optimization techniques for the optimal utilization of memory hierarchies. It presents a wide range of optimizations, progressively increasing in the complexity of analysis and of memory hierar...

By Tommy M McGuire
ean: 9781441935885, isbn: 1441935886,
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group ...

By Liem Clifford
ean: 9781441951823, isbn: 1441951822,
Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer electronics. This is mainly in response to a need to track evolving standards with the flexibility of e...

By D Sehr
mpn: Illustrations, ean: 9783540630913, isbn: 3540630910,
This book presents the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing, LCPC'96, held in San Jose, California, in August 1996.The book contains 35 carefully revised ful...

By Brand: Springer-Verlag Berlin and Heidelberg GmbH n Co. K
ean: 9783540976165, isbn: 3540976167,
This work describes the techniques and technology used in writing text editors, word processors and other software. Written for the working professional and serious student, the book is comprehensive in its approach. The topics range from user psycho...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.