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… mais…
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. Custos de envio:zzgl. Versandkosten., mais custos de envio Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
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… mais…
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. Custos de envio:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… mais…
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
Custos de envio:zzgl. Versandkosten, mais custos de envio Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… mais…
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
Custos de envio:zzgl. Versandkosten., mais custos de envio Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… mais…
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
Custos de envio:zzgl. Versandkosten., mais custos de envio Details...
(*) Livro esgotado significa que o livro não está disponível em qualquer uma das plataformas associadas buscamos.
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… mais…
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. Custos de envio:zzgl. Versandkosten., mais custos de envio
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… mais…
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. Custos de envio: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… mais…
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<
- Custos de envio:zzgl. Versandkosten, mais custos de envio
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… mais…
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<
- Custos de envio:zzgl. Versandkosten., mais custos de envio
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… mais…
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<
- Custos de envio:zzgl. Versandkosten., mais custos de envio
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.
Dados bibliográficos do melhor livro correspondente
Dados detalhados do livro - Combinatorics on Traces
EAN (ISBN-13): 9783540463184 Editor/Editora: Springer Science+Business Media
Livro na base de dados desde 2017-01-29T16:51:17+00:00 (Lisbon) Página de detalhes modificada pela última vez em 2024-02-13T14:43:15+00:00 (Lisbon) Número ISBN/EAN: 9783540463184
Número ISBN - Ortografia alternativa: 978-3-540-46318-4 Ortografia alternativa e termos de pesquisa relacionados: Título do livro: combinatorics
Dados da editora
Autor: Volker Diekert Título: Lecture Notes in Computer Science; Combinatorics on Traces Editora: Springer; Springer Berlin 174 Páginas Ano de publicação: 2005-07-02 Berlin; Heidelberg; DE Língua: Inglês 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.
Outros livros adicionais, que poderiam ser muito similares com este livro: