Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A higher-order behavioural algebraic institution for ASL

Autor
Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2003-03-02
Codi
R00-20
Repositori
http://hdl.handle.net/2117/95877 Obrir en finestra nova
Resum
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.
Citació
Mylonakis, N. "A higher-order behavioural algebraic institution for ASL". 2003.
Paraules clau
Semantics, Asl, Behavioural Algebraic Institution, Behavioural Operators

Participants

Arxius