Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Perone, Marco"'
Autor:
Perone, Marco, Karachalias, Georgios
In this paper we describe how to build software architectures as a composition of state machines, using ideas and principles from the field of Domain-Driven Design. By definition, our approach is modular, allowing one to compose independent subcompon
Externí odkaz:
http://arxiv.org/abs/2307.09090
Autor:
Genovese, Fabrizio, Gryzlov, Alex, Herold, Jelle, Knispel, Andre, Perone, Marco, Post, Erik, Videla, André
Publikováno v:
EPTCS 323, 2020, pp. 246-254
We introduce idris-ct, a Idris library providing verified type definitions of categorical concepts.idris-ct strives to be a bridge between academy and industry, catering both to category theorists who want to implement and try their ideas in a practi
Externí odkaz:
http://arxiv.org/abs/1912.06191
We review some of the endeavors in trying to connect Petri nets with free symmetric monoidal categories. We give a list of requirement such connections should respect if they are meant to be useful for practical/implementation purposes. We show how p
Externí odkaz:
http://arxiv.org/abs/1904.12974
Autor:
Perone, Marco
We analyze how the properties of Goldie dimension continue to hold or not in the infinite case, with particular interest for the dual Goldie dimension of the lattice of right ideals of a ring R. In this setting we underline the important role played
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1119::51f49523880a4b2cf313517dce62fc40
https://hdl.handle.net/10077/4004
https://hdl.handle.net/10077/4004
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.