Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Combinatorics on Traces

Name: Combinatorics on Traces
Brand: Springer, Berlin
SKU: 05274161
Price: 51.62 EUR
Availability: InStock
Author: Volker Diekert
ISBN: 9783540530312

Volker Diekert

Language

English

Book Paperback

Libristo code: 05274161

Publishers Springer, Berlin, September 1990

Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of i... Full description

Libristo code: 05274161

125 b

51.62 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Lew i jednorożec. Najlepsze eseje i felietony George Orwell

Paperback

11.51 €

Basics Aménager l'espace; . Ulrich Exner

Paperback

24.14 €

BABADADA black-and-white, Sranantongo - bahasa Melayu, prenki wortu buku - kamus visual

Paperback

6.76 €

Konzernabschl sse Walther Busse von Colbe

Paperback

53.03 €

Steigerung der Lesegeschwindigkeit und Konzentrationsfahigkeit am Bildschirm Silke Taucher

Paperback

42.83 €

Der Bodensee - Natur und Geschichte aus 150 Perspektiven Harald Derschka

Hardback

21.11 €

Three Jovial Huntsmen (Traditional Chinese): 01 Paperback Color H y Xiao Phd

Paperback

13.02 €

Ciudad de Huerfanos Avi

Hardback

13.23 €

Wirtschaftssoziologie Nach Max Weber Andrea Maurer

Paperback

47.17 €

Syrinx 'La Flute de Pan', für Flöte Anders Ljungar-Chapelon

Paperback

10.60 €

Friedrich Nietzsche - Biographie und Lebenswerk unter besonderer Berucksichtigung der 'Unzeitgemassen Betrachtungen' Wolf Hannes Kalden

Paperback

16.16 €

Die Wiedergutmachungs-Kartei, 96 farb. Karten Elke Dosch

Game

25.55 €

Klassik-Rap, 1 Audio-CD Friedrich Neumann

Audio CD

22.22 €

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.