Exploració per tema "Behavioural algebraic institution"
Ara es mostren els items 1-1 de 1
-
A higher-order behavioural algebraic institution for ASL
(2003-03-02)
Report de recerca
Accés obertIn 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 ...