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   Algorithms

CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings (Lecture Notes in Computer Science)


Huge Savings Item! Save 13% on the CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers


Product Description

This book contains a selection of research papers describing recent advancesin the theory of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which has emerged as the premiere conference on formal aspects of concurrency. The authors include such prominent researchers as R. Milner, A. Pnueli, N. Lynch, and V.R. Pratt. The results represent advances in the mathematical understanding of the behavior of concurrent systems: topics covered include process algebras, models of true concurrency, compositional verification techniques, temporal logic, verification case studies, models of probabilistic and real-time systems, models of systems with dynamic structure, and algorithms and decidability results for system analysis. A key feature of CONCUR is its breadth: in one volume it presents a snapshot of the state of the art in concurrency theory. Assuch, it is indispensible to researchers - and would-be researchers - in theformal analysis of concurrent systems.

Additional Information

Manufacturer:Springer
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540558224
Item Weight:1.81 pounds
Item Size:1.35 x 9.25 x 9.25 inches
Package Weight:4.01 pounds
Package Size:6.1 x 1.35 x 1.35 inches

CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings (Lecture Notes in Computer Science) by Springer

Buy Now:
CONCUR '92: Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings (Lecture Notes in Computer Science)

Brand: Springer
4.0 out of 5 stars with 45 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$149.00
$130.08
You Save: 13%


Quantity:  

 


View More In Algorithms.

 


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 Springer, 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


mpn: 1, black & white illustrations, ean: 9789048122608, isbn: 9048122600,
This book explains how to solve partial differential equations numerically using single and multidomain spectral methods. It shows how only a few fundamental algorithms form the building blocks of any spectral code, even for problems with complex geo...

mpn: 48 black & white illustrations, 17 black, ean: 9783642076466, isbn: 3642076467,
An authoritative and comprehensive guide to the Rijndael algorithm and Advanced Encryption Standard (AES). AES is expected to gradually replace the present Data Encryption Standard (DES) as the most widely applied data encryption technology. This boo...

ean: 9781466552975, isbn: 1466552972,
Distributed Systems: An Algorithmic Approach, Second Edition provides a balanced and straightforward treatment of the underlying theory and practical applications of distributed computing. As in the previous version, the language is kept as unobscure...

mpn: 42 black & white illustrations, biograph, ean: 9783642022944, isbn: 3642022944,
The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean lattices and their main applications. It includes many detailed motivations, explanations and examples....

ean: 9781402099267, isbn: 1402099266,
The problem of counting the number of self-avoiding polygons on a square grid, - therbytheirperimeterortheirenclosedarea,is aproblemthatis soeasytostate that, at ?rst sight, it seems surprising that it hasn’t been solved. It is however perhaps the ...

mpn: figures, bibliography, ean: 9781558605947, isbn: 1558605940,

ean: 9781284049190, isbn: 1284049191,
Foundations of Algorithms, Fifth Edition offers a well-balanced presentation of algorithm design, complexity analysis of algorithms, and computational complexity. Ideal for any computer science students with a background in college algebra and discre...

ean: 9780072399103, isbn: 0072399104,
Heath 2/e, presents a broad overview of numerical methods for solving all the major problems in scientific computing, including linear and nonlinear equations, least squares, eigenvalues, optimization, interpolation, integration, ordinary and partial...

ean: 9780201612448, isbn: 0201612445,
have extensively revised this best seller on algorithm design and analysis to make it the most current and accessible book available. This edition features an increased emphasis on algorithm design techniques such as divide-and-conquer and greedy alg...

mpn: illustrations, ean: 9781558603486, isbn: 1558603484,
In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.Distributed Alg...



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