×

zbMATH — the first resource for mathematics

Kasangian, Stefano

Compute Distance To:
Author ID: kasangian.stefano Recent zbMATH articles by "Kasangian, Stefano"
Published as: Kasangian, Stefano; Kasangian, S.
Documents Indexed: 32 Publications since 1981

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 110 times in 74 Documents Cited by Year
Bicategories of spans and relations. Zbl 0577.18005
Carboni, Aurelio; Kasangian, Stefano; Street, Ross
15
1984
An axiomatics for bicategories of modules. Zbl 0615.18006
Carboni, Aurelio; Kasangian, Stefano; Walters, Robert
14
1987
Factorization systems for symmetric cat-groups. Zbl 0964.18002
Kasangian, S.; Vitale, E. M.
12
2000
Tree automata and enriched category theory. Zbl 0614.68045
Betti, Renato; Kasangian, Stefano
11
1985
Decomposition of automata and enriched category theory. Zbl 0625.68040
Kasangian, S.; Rosebrugh, R.
8
1986
Cofibrations and the realization of non-deterministic automata. Zbl 0518.18009
Kasangian, S.; Kelly, G. M.; Rossi, F.
8
1983
Enriched categorical semantics for distributed calculi. Zbl 0777.18007
Kasangian, Stefano; Labella, Anna
6
1992
A quasi-universal realization of automata. Zbl 0574.68048
Betti, Renato; Kasangian, Stefano
6
1982
Observational trees as models for concurrency. Zbl 0954.68115
Kasangian, Stefano; Labella, Anna
5
1999
Coalgebras, braidings, and distributive laws. Zbl 1085.18005
Kasangian, Stefano; Lack, Stephen; Vitale, Enrico M.
5
2004
Glueing enriched modules and composition of automata. Zbl 0735.18002
Kasangian, S.; Rosebrugh, R.
3
1990
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
Applications of the calculus of trees to process description languages. Zbl 0792.68091
Degano, P.; Kasangian, S.; Vigna, S.
2
1991
Conduché property and tree-based categories. Zbl 1208.18006
Kasangian, Stefano; Labella, Anna
2
2010
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Zbl 1386.68107
Bottoni, Paolo; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
2
2018
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017
Trees in distributive categories. Zbl 0774.18006
Kasangian, S.; Vigna, S.
1
1991
The duality between flow charts and circuits. Zbl 0701.18001
Kasangian, S.; Walters, R. F. C.
1
1990
Process synchronisation as fusion. Zbl 0859.68025
Kasangian, Stefano; Labella, Anna; Murphy, David
1
1996
Split extensions, semidirect product and holomorph of categorical groups. Zbl 1082.18006
Kasangian, Stefano; Metere, Giuseppe; Vitale, Enrico M.
1
2006
The ziqqurath of exact sequences of \(n\)-groupoids. Zbl 1242.18005
Kasangian, Stefano; Metere, Giuseppe; Vitale, Enrico Maria
1
2011
External derivations of internal groupoids. Zbl 1130.18003
Kasangian, S.; Mantovani, S.; Metere, G.; Vitale, E. M.
1
2008
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Zbl 1386.68107
Bottoni, Paolo; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
2
2018
Cospan/Span(Graph): an algebra for open, reconfigurable automata networks. Zbl 1433.68223
Gianola, Alessandro; Kasangian, Stefano; Sabadini, Nicoletta
2
2017
The ziqqurath of exact sequences of \(n\)-groupoids. Zbl 1242.18005
Kasangian, Stefano; Metere, Giuseppe; Vitale, Enrico Maria
1
2011
Conduché property and tree-based categories. Zbl 1208.18006
Kasangian, Stefano; Labella, Anna
2
2010
External derivations of internal groupoids. Zbl 1130.18003
Kasangian, S.; Mantovani, S.; Metere, G.; Vitale, E. M.
1
2008
Split extensions, semidirect product and holomorph of categorical groups. Zbl 1082.18006
Kasangian, Stefano; Metere, Giuseppe; Vitale, Enrico M.
1
2006
Coalgebras, braidings, and distributive laws. Zbl 1085.18005
Kasangian, Stefano; Lack, Stephen; Vitale, Enrico M.
5
2004
Factorization systems for symmetric cat-groups. Zbl 0964.18002
Kasangian, S.; Vitale, E. M.
12
2000
Observational trees as models for concurrency. Zbl 0954.68115
Kasangian, Stefano; Labella, Anna
5
1999
Process synchronisation as fusion. Zbl 0859.68025
Kasangian, Stefano; Labella, Anna; Murphy, David
1
1996
Enriched categorical semantics for distributed calculi. Zbl 0777.18007
Kasangian, Stefano; Labella, Anna
6
1992
Applications of the calculus of trees to process description languages. Zbl 0792.68091
Degano, P.; Kasangian, S.; Vigna, S.
2
1991
Trees in distributive categories. Zbl 0774.18006
Kasangian, S.; Vigna, S.
1
1991
Glueing enriched modules and composition of automata. Zbl 0735.18002
Kasangian, S.; Rosebrugh, R.
3
1990
The duality between flow charts and circuits. Zbl 0701.18001
Kasangian, S.; Walters, R. F. C.
1
1990
An axiomatics for bicategories of modules. Zbl 0615.18006
Carboni, Aurelio; Kasangian, Stefano; Walters, Robert
14
1987
Enriched categories for local and interaction calculi. Zbl 0639.68023
Kasangian, Stefano; Labella, Anna; Pettorossi, Alberto
3
1987
Decomposition of automata and enriched category theory. Zbl 0625.68040
Kasangian, S.; Rosebrugh, R.
8
1986
Tree automata and enriched category theory. Zbl 0614.68045
Betti, Renato; Kasangian, Stefano
11
1985
Bicategories of spans and relations. Zbl 0577.18005
Carboni, Aurelio; Kasangian, Stefano; Street, Ross
15
1984
Cofibrations and the realization of non-deterministic automata. Zbl 0518.18009
Kasangian, S.; Kelly, G. M.; Rossi, F.
8
1983
A quasi-universal realization of automata. Zbl 0574.68048
Betti, Renato; Kasangian, Stefano
6
1982
all top 5

Cited by 78 Authors

12 Labella, Anna
8 Kasangian, Stefano
7 Vitale, Enrico Maria
6 Rosenthal, Kimmo I.
4 Carboni, Aurelio
4 Kelly, Gregory Maxwell
4 Street, Ross H.
4 Walters, Robert F. C.
3 Betti, Renato
3 Bottoni, Paolo
3 De Nicola, Rocco
3 Garzón, Antonio R.
3 Rosebrugh, Robert D.
2 Böhm, Gabriella
2 Corradini, Flavio
2 Garner, Richard
2 Gorla, Daniele
2 Sangiorgi, Davide
2 Ştefan, Dragoş
2 Wisbauer, Robert
1 Artamonov, Vyacheslav Aleksandrovich
1 Bird, Gregory J.
1 Bourke, John
1 Bruni, Roberto
1 Casas Miras, José Manuel
1 Chen, ShaoHan
1 Cockett, Robin
1 Datuashvili, Tamar
1 del Río, Aurora
1 Dupont, M.
1 Fong, Brendan
1 Gambino, Nicola
1 Garzón, B. A. R.
1 He, Jifeng
1 Hoare, C. A. R. Tony
1 Huang, Fang
1 Jay, C. Barry
1 Johnson, Michael Sterling James
1 Johnstone, Peter T.
1 Joyal, André
1 Koudenburg, Seerp Roald
1 Krähmer, Ulrich
1 Ladra González, Manuel
1 Le Creurer, I. J.
1 Leinster, Tom
1 Li, Yongming
1 Mantovani, Sandra
1 Marmolejo, Francisco
1 Martí-Oliet, Narcisco
1 Martín, Óscar
1 Martínez-Moreno, Juan
1 Mesablishvili, Bachuki
1 Metere, Giuseppe
1 Moens, M.-A.
1 Monro, G. P.
1 Montanari, Ugo G.
1 Montoli, Andrea
1 Murphy, David J.
1 Pavlović, Duško
1 Power, John
1 Rio, Anna
1 Rossi, Fabio
1 Santocanale, Luigi
1 Sarazola, Maru
1 Schmitt, Vincent
1 Shulman, Michael A.
1 Slevin, Paul
1 Sobociński, Paweł
1 Solovyov, Sergey A.
1 Stubbe, Isar
1 Tasson, Christine
1 Vaux, Lionel
1 Verdejo, Alberto
1 Verity, Dominic
1 Vigna, Sebastiano
1 Walker, Charles
1 Wood, Richard J.
1 Zheng, Zhujun

Citations by Year