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   Software Design, Testing & Engineering   Logic

Combinatorics on Traces (Lecture Notes in Computer Science)


Mega Sale! Save 25% on the Combinatorics on Traces (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: 1. Hurry! Limited time offer. Offer valid only while supplies last. Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle


Product Description

Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic concepts. Chapter 2 gives a straight path to Ochmanski's characterization of recognizable trace languages and to Zielonka's theory of asynchronous automata. Chapter 3 applies the theory of traces to Petri nets. A kind of morphism between nets is introduced which generalizes the concept of synchronization. Chapter 4 provides a new bridge between the theory of string rewriting and formal power series. Chapter 5 is an introduction to a combinatorial theory of rewriting on traces which can be used as an abstract calculus for transforming concurrent processes.

Additional Information

Manufacturer:Springer
Part Number:1
Publisher:Springer
Studio:Springer
MPN:1
EAN:9783540530312
Item Weight:0.0059 pounds
Item Size:0.43 x 9.25 x 9.25 inches
Package Weight:0.65 pounds
Package Size:6.1 x 0.4 x 0.4 inches

Combinatorics on Traces (Lecture Notes in Computer Science) by Springer

Buy Now:
Combinatorics on Traces (Lecture Notes in Computer Science)

Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$89.99
$67.50
You Save: 25%


Quantity:  

 


View More In Logic.

 


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


ean: 9780691155746, isbn: 0691155747,
Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study...

mpn: 60 black & white illustrations, 3 black, ean: 9783540741121, isbn: 3540741127,
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theorie...

ean: 9780123704979, isbn: 0123704979,
Digital Design and Computer Architecture is designed for courses that combine digital logic design with computer organization/architecture or that teach these subjects as a two-course sequence. Digital Design and Computer Architecture begins with a m...

By TBS
ean: 9780521670890, isbn: 0521670896,
The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full...

sku: 0070024693:0:1:1, ean: 9780070024694, isbn: 0070024693,
The second edition contains updated and expanded coverage of how to use Simulation Program with Integrated Circuit Emphasis, and SPICE-based programs, to simulate and predict the performance of electronic circuits. Features description of the device ...

ean: 9780534373863, isbn: 0534373860,
LOGIC AND STRUCTURED DESIGN is an introduction to the logic of data processing. It is intended for those who plan, but have not yet begun, to study programming, particularly those with little background in mathematics or logic. The author avoids refe...

mpn: bibliography, ean: 9780198149385, isbn: 0198149387,
This is the first study devoted to the classical literary tradition as a whole, together with the apparatus of critical scholarship which was part of that tradition. The work of the ancient critics provides some access to the interpretative conventio...

ean: 9780471657200, isbn: 0471657204,
A hands-on troubleshooting guide for VLSI network designersThe primary goal in VLSI (very large scale integration) powernetwork design is to provide enough power lines across a chip toreduce voltage drops from the power pads to the center of the chip...

ean: 9780123914958, isbn: 0123914957,
Op Amps for Everyone is an indispensable guide and reference for designing circuits that are reliable, have low power consumption, and are as small and low-cost as possible. Operational amplifiers are essential in modern electronics design, and are u...

mpn: biography, ean: 9783642173356, isbn: 3642173357,
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations...



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