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 devel… Altro …
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. Books > Computer Science eBook, Springer Shop<
Springer.com
new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
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 devel… Altro …
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., Springer<
Springer.com
Nr. 978-3-540-46318-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Science+Business Media<
Springer.com
Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Nature<
Springer.com
Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Shop<
Springer.com
Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details...
(*) Libro esaurito significa che il libro non è attualmente disponibile in una qualsiasi delle piattaforme associate che di ricerca.
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 devel… Altro …
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. Books > Computer Science eBook, Springer Shop<
- new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
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 devel… Altro …
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., Springer<
Nr. 978-3-540-46318-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Science+Business Media<
- Costi di spedizione:zzgl. Versandkosten, Costi di spedizione aggiuntivi
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Nature<
- Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Altro …
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters Automat, Automatentheorie, Ersetzungssysteme, Spurtheorie, Verteilte (nebenläufige) Systeme, automata, computer, computer science, petri net Books eBook, Springer Shop<
- Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Combinatorics on Traces
EAN (ISBN-13): 9783540463184 Editore: Springer Science+Business Media
Libro nella banca dati dal 2017-01-29T17:51:17+01:00 (Rome) Pagina di dettaglio ultima modifica in 2024-02-13T15:43:15+01:00 (Rome) ISBN/EAN: 9783540463184
ISBN - Stili di scrittura alternativi: 978-3-540-46318-4 Stili di scrittura alternativi e concetti di ricerca simili: Titolo del libro: combinatorics
Dati dell'editore
Autore: Volker Diekert Titolo: Lecture Notes in Computer Science; Combinatorics on Traces Editore: Springer; Springer Berlin 174 Pagine Anno di pubblicazione: 2005-07-02 Berlin; Heidelberg; DE Lingua: Inglese 53,49 € (DE) 55,00 € (AT) 59,00 CHF (CH) Available XIV, 174 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Automatentheorie; Ersetzungssysteme; Spurtheorie; Verteilte (nebenläufige) Systeme; automata; computer; computer science; petri net; C; Theory of Computation; Discrete Mathematics; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Programming Techniques; Compilers and Interpreters; Computer Science; Diskrete Mathematik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; BC
Free partialy commutative monoids.- Recognizable and rational trace languages.- Petri nets and synchronization.- Complete semi-thue systems and möbius functions.- Trace replacement systems. 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 contains various new results published nowhere else.
Altri libri che potrebbero essere simili a questo: