A higher-order behavioural algebraic institution for ASL

Consultar RECERCAT

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

Título:	A higher-order behavioural algebraic institution for ASL
Autor/a:	Mylonakis Pascual, Nicolás
Otros autores:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Abstract:	In this paper, we generalise the semantics of ASL including the three behavioural operators for a fixed but arbitrary algebraic institution. After that, we define a behavioural algebraic institution which is used to give an alternative semantics of the behavioural operators, to define the normal forms of the both semantics of behavioural operators and to relate both semantics. Finally, we present a higher-order behavioural algebraic institution.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Semantics -ASL -Behavioural algebraic institution -Behavioural operators
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando; Fiadeiro, José

Mylonakis Pascual, Nicolás

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

Mylonakis Pascual, Nicolás; Orejas Valdés, Fernando

Coordinación

Patrocinio