Exploració per tema "Behavioural algebraic institution"

Ara es mostren els items 1-1 de 1

    • A higher-order behavioural algebraic institution for ASL 

      Mylonakis Pascual, Nicolás (2003-03-02)
      Report de recerca
      Accés obert
      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 ...