Sfoglia per Autore
Mostrati risultati da 1 a 16 di 16
Process synchronisation as fusion
1996 S. Kasangian, A. Labella, D. Murphy
The topos of labelled trees : a categorical semantics for SCCS
1997 S. Kasangian, S. Vigna
Observational trees as models for concurrency
1999 S. Kasangian, A. Labella
Factorization systems for symmetric cat-groups
2000 S. Kasangian, E.M. Vitale
A bicategorical approach to information flow and security
2000 S. Kasangian, G.M. Kelly, V. Vighi
Coalgebras, braidings, and distributive laws
2004 S. Kasangian, S. Lack, E. Vitale
Split extensions, semidirect product and holomorph of categorical groups
2006 S. Kasangian, G. Metere, E.M. Vitale
A parallel computing model via pictures in an enriched-categorical context
2008 P. Bottoni, S. Kasangian, A. Labella
The notion of state and models for interaction, categorically
2008 S. Kasangian, A. Labella, A. Montoli
External derivations of internal groupoids
2008 S. Kasangian, S. Mantovani, G. Metere, E.M. Vitale
More-than-coherent logic for operations on images
2009 P. Bottoni, A. Labella, S. Kasangian
Conduché property and Tree-based categories.
2010 S. Kasangian, A. Labella
A Relational Model of incomplete Data without nulls
2010 M. Johnson, S. Kasangian
The ziqqurath of exact sequences of $n$-groupoids
2011 S. Kasangian, G. Metere, E.M. Vitale
Generalising Conduché's theorem
2011 S. Kasangian, A. Labella, A. Montoli
Spatial and temporal aspects in visual interaction
2012 P. Bottoni, S. Kasangian, A. Labella
Mostrati risultati da 1 a 16 di 16
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile