Jornadas sobre Concurrencia
Jaca
(Huesca),
Programa
Lunes
14 de septiembre
9:30 - 10:00 Apertura
10:00 - 13:30 Presentaciones
Un enfoque lingüístico para el diseño de
sistemas distribuidos
M. Bertran
Universidad Politécnica de Cataluña
Especificaciones de tipos abstractos de datos
con operaciones indeterministas
F. Orejas
Universidad Politécnica de Cataluña
Lógica epistémica y
protocolos criptográficos
L. Fariñas
Université Paul
Sabatier, Toulouse
Teoría de sincronía en redes de Petri
J.M. Colom
Universidad de Zaragoza
Descripción, análisis y realización de sistemas
concurrentes utilizando redes de alto nivel
J. Martínez
Universidad de Zaragoza
13:00 - 13:30 Discusión
13:30 - 15:30 Comida
15:30 - 17:00 Presentaciones
El lenguaje concurrente STREAM
C. Delgado
Universidad Politécnica de Madrid
Metodología para la generación semiautomática de
especificaciones
J. Cea
Universidad Politécnica de Madrid
Entorno de ayuda a la especificación de sistemas
concurrentes
J.L. Ferrero
Universidad Politécnica de Madrid
17:00 - 17:30 Discusión
Martes
15 de septiembre
9:00 - 12:30 Presentaciones
Experiencias con Galileo
I. López
Standard Eléctrica S.A.
Madrid
Experiencias en programación de aplicaciones
industriales en tiempo real
J.A. de la Puente, A.
Crespo
Universidad Politécnica de Valencia
Realización de mecanismos de concurrencia en Módula-2: esquema CSP y aplicación a la docencia (CC-Módula)
M. Collado, R. Morales, J.J.
Moreno
Universidad Politécnica de Madrid
Programación distribuida en Ada
A. Álvarez, S. Arévalo
Universidad Politécnica de Madrid
Programación en tiempo real
A. Álvarez
Universidad Politécnica de Madrid
12:30 - 13:30 Discusión
13:30 - 15:30 Comida
15:30 - 17:00 Presentaciones
Programación funcional y programación lógica
M. Rodríguez, T. Hortalá,
A. Gil, J.Leach
Universidad Complutense de Madrid
Semántica de procesos concurrentes
D. de Frutos
Universidad Complutense de Madrid
CSP: Semántica orientada a la especificación
M. Rodríguez, D. de Frutos, Y. Ortega
Universidad Complutense de Madrid
Técnicas de especificación formal basadas en
orientación temporal de eventos: Introducción de eventos compuestos en el
lenguaje LOTOS
A. Azcorra
Universidad Politécnica de Madrid
17:00 - 17:30 Discusión
Miércoles
16 de septiembre
9:00 - 12:00 Discusión
12:30 - 13:30 Conclusiones y clausura
13:30 - 15:30 Comida
Participantes
Luis
María Alonso González, Universidad del País Vasco
Ángel
Álvarez, Universidad Politécnica de Madrid
Sergio
Arévalo, Universidad Politécnica de Madrid
Arturo Azcorra Saloña, Universidad
Politécnica de Madrid
Jesús
Bermúdez de Andrés, Universidad del País Vasco
Miquel Bertran Salvans, Universidad
Politécnica de Cataluña
Pierre Bieber, Université Paul Sabatier de Toulouse
Pere
Botella, Universidad Politécnica de Cataluña
Javier
Campos Laclaustra, Universidad de Zaragoza
José Cea Jiménez, Universidad Politécnica de Madrid
Manuel
Collado Machuca, Universidad Politécnica de Madrid
José
Manuel Colom Piazuelo,
Universidad de Zaragoza
Alfons
Crespo, Universidad Politécnica de Valencia
David
De Frutos Escrig, Universidad Complutense de Madrid
Juan
Antonio de la Puente , Universidad Politécnica de
Valencia
Carlos
Delgado Klos, Universidad Politécnica de Madrid
Luis
Fariñas del Cerro, Université Paul
Sabatier de Toulouse
José
Luis Ferrero Gómez, Universidad Politécnica de Madrid
Jordi Forga Alberich, Universidad
Politécnica de Cataluña
Teresa Hortalá González,
Universidad Complutense de Madrid
Albert Llamosí, Universidad Politécnica de Cataluña
Ignacio
López Gutiérrez, Standard Eléctrica S.A., Madrid
Francisca
Lucio Carrasco, Universidad del País Vasco
Javier
Martínez Rodríguez, Universidad de Zaragoza
Rafael
Morales Fernández, Universidad Politécnica de Madrid
Juan
José Moreno Navarro, Universidad Politécnica de Madrid
Susana
Nieva Soto, Universidad Complutense de Madrid
Francesc Oller Teijon, Universidad
Politécnica de Cataluña
Fernando
Orejas, Universidad Politécnica de Cataluña
Yolanda
Ortega Mallén, Universidad Complutense de Madrid
Ricardo
Peña Marí, Universidad Politécnica de Cataluña
Mario Rodríguez
Artalejo, Universidad Politécnica de Madrid
Celestí Rosello Balanya, Universidad
Politécnica de Cataluña
Manuel
Silva Suárez, Universidad de Zaragoza
Santiago
Velilla Marco, Universidad de Zaragoza
José
Luis Villarroel Salcedo, Universidad de Zaragoza