On the realization of reactive systems

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97889

Título:	On the realization of reactive systems
Autor/a:	Carmona Vargas, Josep; Cortadella, Jordi
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Abstract:	A new notion of realization of reactive systems is defined. Realization is defined as a relation between the states of two transition systems, the specification and the implementation, in which events are classified as input, output or internal. This new definition attempts to model the correct interaction between a system and its environment. The differences with other definitions of refinement and realization are discussed.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica -Reactive systems -Realization -Transition systems
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael

Coordinación

Patrocinio