Exploració per tema "Behavioural operators"

Ara es mostren els items 1-2 de 2

    • 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 ...

    • Finitary non-compositional proof systems for ASL in first-order 

      Mylonakis Pascual, Nicolás (2003-03-02)
      Report de recerca
      Accés obert
      In this paper we present finitary proof systems for the deduction of sentences from algebraic specifications inductively defined by specification expresssions in first-order and higher-order logic. Mainly, we redesign ...