|
Título:
|
Synchronous products of rewrite systems (extended version)
|
|
Autores:
|
Martín Sánchez, Óscar ;
Verdejo López, Alberto ;
Martí Oliet, Narciso
|
|
Tipo de documento:
|
texto impreso
|
|
Fecha de publicación:
|
2016-03
|
|
Dimensiones:
|
application/pdf
|
|
Nota general:
|
info:eu-repo/semantics/openAccess
|
|
Idiomas:
|
|
|
Palabras clave:
|
Estado = No publicado
,
Materia = Ciencias: Informática
,
Materia = Ciencias: Informática: Software
,
Tipo = Documento de trabajo o Informe técnico
|
|
Resumen:
|
We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification.
|
|
En línea:
|
https://eprints.ucm.es/id/eprint/39856/7/syncprod-long.pdf
|
