Construcción de una máquina química abstracta
- Herrero de Lucas, Luis Carlos
- Oliver Villaroya, Javier
- Troya Linero, José María (dir. congr.)
- Rodríguez León, Casiano (dir. congr.)
Editorial: Asociación Española de Informática y Automática
Año de publicación: 1995
Páginas: 121-134
Congreso: Jornadas de Informática (1. 1995. Puerto de la Cruz)
Tipo: Aportación congreso
Resumen
Se van a presentar las características principales de la Máquina Química Abstracta diseñada por G. Berry y G. Boudol, basada en la metáfora química como mecanismo para la modelización de computaciones concurrentes asíncronas. Posteriormente y siguiendo el planteamiento de Berry y Boudol se muestra una instanciación del esquema a un subconjunto de CCS "Calculus of Communicating Systems" de R. Milner. Construimos en Prolog el interprete asociado y mediante algunos ejemplos comprobamos las posibilidades expresivas de la propuesta.