Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Synchronous products of rewrite systems (extended version)

Thumbnail Image

Download

downoloadsyncprod-long.pdf (443.89 KB)

Official URL

Full text at PDC

Publication date

2016

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/139.1

Citation

Abstract

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.

Research Projects

Organizational Units

Journal Issue

Description

Technical report 02/16 Departamento de Sistemas Informáticos y Computación Facultad de Informática Universidad Complutense de Madrid

UCM subjects

Informática (Informática), Software

Unesco subjects

1203.17 Informática, 3304.16 Diseño Lógico

Keywords

Collections

Documentos de trabajo e informes técnicos

Version History

Now showing 1 - 2 of 2
VersionDateSummary
2*
 2023-06-15 09:56:23
Version created in EPrints
1
 2023-06-15 09:56:23
Version created in EPrints
* Selected version