On the realization of reactive systems

dc.contributor.author	Carmona Vargas, Josep
dc.contributor.author	Cortadella, Jordi
dc.contributor.other	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned	2016-12-07T15:50:03Z
dc.date.available	2016-12-07T15:50:03Z
dc.date.issued	2001-05
dc.identifier.citation	Carmona, J., Cortadella, J. "On the realization of reactive systems". 2001.
dc.identifier.uri	http://hdl.handle.net/2117/97889
dc.description.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.
dc.format.extent	7 p.
dc.language.iso	eng
dc.relation.ispartofseries	LSI-01-24-R
dc.subject	Àrees temàtiques de la UPC::Informàtica
dc.subject.other	Reactive systems
dc.subject.other	Realization
dc.subject.other	Transition systems
dc.title	On the realization of reactive systems
dc.type	External research report
dc.rights.access	Open Access
local.identifier.drac	1857525
dc.description.version	Postprint (published version)
local.citation.author	Carmona, J.; Cortadella, J.

UPCommons. Portal del coneixement obert de la UPC