Search Results - "DI LAVORE, ELENA"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Span(Graph): a canonical feedback algebra of open transition systems.

    Authors: Di Lavore, Elena Gianola, Alessandro Román, Mario et al.

    Source: Software & Systems Modeling; Apr2023, Vol. 22 Issue 2, p495-520, 26p

    HTML Full Text PDF Full Text
    Save to List
  2. 2

    COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES.

    Authors: DI LAVORE, ELENA DE FELICE, GIOVANNI ROMÁN, MARIO

    Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-52, 52p

    PDF Full Text
    Save to List
  3. 3

    MONOIDAL WIDTH.

    Authors: DI LAVORE, ELENA SOBOCIŃSKI, PAWE L.

    Source: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-46, 46p

    PDF Full Text
    Save to List

Search Tools: