LABELLA, Anna
LABELLA, Anna
DIPARTIMENTO DI INFORMATICA
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