Ambos libros abordan la programación concurrente, aunque 'Communicating Sequential Processes' se centra en la interacción de procesos a través de mensajes.

por Wolfgang Reisig · 1985
Ver sugerenciasSinopsis
Este libro introduce las Redes de Petri, un formalismo matemático para modelar y analizar sistemas concurrentes y distribuidos, con aplicaciones en informática, ingeniería y ciencias de la computación.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Ambos libros abordan la programación concurrente, aunque 'Communicating Sequential Processes' se centra en la interacción de procesos a través de mensajes.
Al igual que 'Redes de Petri y Aplicaciones', 'Grundlagen der theoretischen Informatik' ofrece un enfoque formal y estructurado sobre teoría de la computación.
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
2000·ensayo
'Introducción a la teoría de autómatas, lenguajes y computación' comparte la estructura rigorosa para modelar conceptos computacionales, similar al enfoque de las Redes de Petri.
'Compiladores: Teoría y Práctica' utiliza un marco formal para tratar conceptos abstractos en compilación, coincidiendo con el enfoque estructurado de las Redes de Petri.
'The Application of Petri Nets in Workflow Management' se basa directamente en Redes de Petri, explorando aplicaciones prácticas en modelado de sistemas de flujo de trabajo.
'Principios de Programación Concurrente' discute la teoría detrás de sistemas concurrentes, similar a cómo 'Redes de Petri' modela interacciones en esos sistemas.