A higher-order behavioural algebraic institution for ASL

Mylonakis Pascual, Nicolás

View/Open

R00-20.pdf (260,4Kb)

View UPCommons Usage Statistics

LA Referencia / Recolecta stats

Cita com:

Show full item record

Mylonakis Pascual, Nicolás

Document typeResearch report

Defense date2003-03-02

Rights accessOpen Access

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder

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.

CitationMylonakis, N. "A higher-order behavioural algebraic institution for ASL". 2003.

Is part ofR00-20

URIhttp://hdl.handle.net/2117/95877

Collections

Departament de Ciències de la Computació - Reports de recerca [1.108]

View UPCommons Usage Statistics

Show full item record

Files	Description	Size	Format	View
R00-20.pdf		260,4Kb	PDF	View/Open

UPCommons. Global access to UPC knowledge

A higher-order behavioural algebraic institution for ASL

View/Open

Browse