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… Más…
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. Gastos de envío:zzgl. Versandkosten., más gastos de envío Details...
(*) Libro agotado significa que este título no está disponible por el momento en alguna de las plataformas asociadas que 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… Más…
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. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00) Details...
(*) Libro agotado significa que este título no está disponible por el momento en alguna de las plataformas asociadas que buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Más…
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
Gastos de envío:zzgl. Versandkosten, más gastos de envío Details...
(*) Libro agotado significa que este título no está disponible por el momento en alguna de las plataformas asociadas que buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Más…
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
Gastos de envío:zzgl. Versandkosten., más gastos de envío Details...
(*) Libro agotado significa que este título no está disponible por el momento en alguna de las plataformas asociadas que buscamos.
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Más…
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
Gastos de envío:zzgl. Versandkosten., más gastos de envío Details...
(*) Libro agotado significa que este título no está disponible por el momento en alguna de las plataformas asociadas que 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… Más…
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. Gastos de envío:zzgl. Versandkosten., más gastos de envío
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… Más…
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. Gastos de envío: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… Más…
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<
- Gastos de envío:zzgl. Versandkosten, más gastos de envío
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Más…
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<
- Gastos de envío:zzgl. Versandkosten., más gastos de envío
Computer Science; Theory of Computation; Discrete Mathematics; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Programming Languages, Com… Más…
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<
- Gastos de envío:zzgl. Versandkosten., más gastos de envío
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.
EAN (ISBN-13): 9783540463184 Editorial: Springer Science+Business Media
Libro en la base de datos desde 2017-01-29T17:51:17+01:00 (Madrid) Página de detalles modificada por última vez el 2024-02-13T15:43:15+01:00 (Madrid) ISBN/EAN: 9783540463184
ISBN - escritura alterna: 978-3-540-46318-4 Mode alterno de escritura y términos de búsqueda relacionados: Título del libro: combinatorics
Datos del la editorial
Autor: Volker Diekert Título: Lecture Notes in Computer Science; Combinatorics on Traces Editorial: Springer; Springer Berlin 174 Páginas Año de publicación: 2005-07-02 Berlin; Heidelberg; DE Idioma: 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.
Más, otros libros, que pueden ser muy parecidos a este: