Descripción
Actas de las VIII Jornadas de Concurrencia
Resumen del libro
Esta obra recoge las ponencias y comunicaciones presentadas durante las VIII Jornadas de Concurrencia, un foro académico de referencia en el ámbito de la informática teórica y aplicada. El lector encontrará una selección de trabajos que abordan los desafíos y avances en sistemas concurrentes, paralelos y distribuidos, ofreciendo una visión panorámica del estado del arte a finales de los años noventa. Un volumen imprescindible para investigadores, docentes y estudiantes de posgrado interesados en la evolución de los modelos de computación concurrente.
¿De qué trata?
El libro compila las actas de las VIII Jornadas de Concurrencia, celebradas en el año 2000. A lo largo de sus 334 páginas, se presentan investigaciones originales sobre temas como la especificación y verificación de sistemas concurrentes, algoritmos distribuidos, sincronización de procesos, lenguajes de programación concurrente y modelos formales como el cálculo de procesos. Los artículos, escritos por especialistas del ámbito académico español e internacional, ofrecen tanto desarrollos teóricos como aplicaciones prácticas, constituyendo una instantánea del conocimiento en un momento clave para la consolidación de esta disciplina.
Temas principales
- Modelos formales de concurrencia y su verificación
- Algoritmos y protocolos para sistemas distribuidos
- Lenguajes de programación concurrente y sus implementaciones
- Sincronización y comunicación entre procesos
- Aplicaciones de la concurrencia en sistemas de tiempo real y paralelos
¿Para quién está recomendado?
Este libro está dirigido a investigadores, profesores universitarios y estudiantes de doctorado o máster en informática, especialmente aquellos especializados en sistemas concurrentes, paralelos o distribuidos. También resulta de interés para profesionales del desarrollo de software que busquen profundizar en los fundamentos teóricos de la concurrencia y su aplicación en entornos complejos.
Qué aporta este libro
- Acceso a investigaciones originales y debates académicos del ámbito de la concurrencia en el año 2000.
- Comprensión de los modelos formales y algoritmos que sustentan los sistemas concurrentes modernos.
- Perspectiva histórica sobre la evolución de la disciplina, útil para contextualizar avances posteriores.
- Material de referencia para trabajos académicos, tesis o proyectos de investigación en el área.
Ficha técnica
- Autor: Cazorla Lopez; Diego
- Editorial: Ediciones de la Universidad de Castilla-La Mancha
- Idioma: Español
- Tema: Informática: cuestiones generales
- Colección: Estudios
- Encuadernación: Bolsillo
- Fecha de edición: 2000
- Número de páginas: 334
- Dimensiones: 240 x 170 mm
- Peso: 660 g
Valoración editorial
Las Actas de las VIII Jornadas de Concurrencia representan un documento de gran valor para la comunidad académica especializada. Aunque su contenido se circunscribe a un evento concreto, la calidad de las contribuciones y la relevancia de los temas tratados lo convierten en una fuente de consulta útil para quienes deseen rastrear el desarrollo de la concurrencia en la informática española. Su enfoque técnico y formal lo hace especialmente adecuado para un público con formación avanzada en la materia.