Using matrix graph grammars for the analysis of behavioural specifications: Sequential and parallel independence

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)

Detalles Bibliográficos
Autores:	Pérez Velasco, Pedro Pablo, Lara Jaramillo, Juan de
Tipo de recurso:	artículo
Fecha de publicación:	2008
País:	España
Institución:	Universidad Autónoma de Madrid
Repositorio:	Biblos-e Archivo. Repositorio Institucional de la UAM
Idioma:	inglés
OAI Identifier:	oai:repositorio.uam.es:10486/666498
Acceso en línea:	http://hdl.handle.net/10486/666498 https://dx.doi.org/10.1016/j.entcs.2008.03.079
Access Level:	acceso abierto
Palabra clave:	Graph Transformation Matrix Graph Grammars Parallelism Sequential Independence Informática

Descripción
Sumario:	Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007)