Browsing Rendiconti dell'Istituto di Matematica dell'Università di Trieste: an International Journal of Mathematics vol.14 (1982) by Author "Kasangian, Stefano"
(Università degli Studi di Trieste. Dipartimento di Scienze Matematiche, 1982)
Betti, Renato
;
Kasangian, Stefano
Si dimostra che, considerando gli automi come categorie arricchite, il comportamento è una opfibrazione e la nota aggiunzione con la realizzazione vale anche in questo contesto più generale.
(Università degli Studi di Trieste. Dipartimento di Scienze Matematiche, 1982)
Betti, Renato
;
Kasangian, Stefano
Si considera un approccio categoriale alla teoria degli automi nel quale la realizzazione di automi non deterministici risulta essere universale in un senso 2-categoriale (lax).
