LABELLA, Anna

LABELLA, Anna  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 112 (tempo di esecuzione: 0.053 secondi).
Titolo Data di pubblicazione Autore(i) File
A Completeness Theorem for Nondeterministic Kleene Algebras 1994 R., DE NICOLA; Labella, Anna
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes 2018 Bottoni, Paolo Gaspare; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
A finite axiomatization of nondeterministic regular expressions 1999 F., Corradini; R., DE NICOLA; Labella, Anna
A first step for analyzing the semantics of parallelism in computations using a categorical approach. 1984 Labella, Anna; A., Pettorossi
A formal model for ledger management systems based on contracts and temporal logic 2022 Bottoni, Paolo Gaspare; Labella, Anna; Pareschi, Remo
Accepting Networks of Evolutionary Picture Processors 2014 Bottoni, Paolo Gaspare; Labella, Anna; Victor, Mitrana
Alcune strutture matematiche come generalizzazione del concetto di insieme 1980 Labella, Anna
Algorithmic and geometric thought: the example of Campanus 2000 Labella, Anna
An equational axiomatization of bisimulation over regular expressions 2002 F., Corradini; R., De Nicola; Labella, Anna
Categorical models for handshaking communications 1985 Labella, Anna; A., Pettorossi
Categorical models of process cooperation 1986 Labella, Anna; A., Pettorossi
Categorie e logica 1994 Labella, Anna
Categories enriched on two sides 2002 Max, Kelly; Labella, Anna; Vincent, Schmitt; Ross, Street
Categories for handshaking communications 1986 Labella, Anna; A., Pettorossi
Categories for modelling communicating processes. 1987 Labella, Anna; A., Pettorossi
Categories with sums and right distributive tensor product 2003 Labella, Anna
CHAMBRE: A distributed environment for the production of multimedia events 2004 Bottoni, Paolo Gaspare; Faralli, Stefano; Labella, Anna; C., Scozzafava
CHAMBRE: Integrating multimedia and virtual tools 2006 Bottoni, Paolo Gaspare; Labella, Anna; Faralli, Stefano; Alessio, Malizia; Claudio, Scozzafava
Change of base, Cauchy-completeness and reversibility 2002 Labella, Anna; V., Schmitt
Chomsky Hierarchies of Pattern Languages 1998 Bottoni, Paolo Gaspare; Labella, Anna; G., Paun