Urmăriți
Pawel Sobocinski
Titlu
Citat de
Citat de
Anul
Adhesive categories
S Lack, P Sobociński
International Conference on Foundations of Software Science and Computation …, 2004
3092004
Adhesive and quasiadhesive categories
S Lack, P Sobociński
RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005
2702005
Interacting hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
1202017
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
1182014
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
1122015
Reactive systems over cospans
V Sassone, P Sobocinski
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005
1112005
Diagrammatic algebra: from linear to concurrent systems
F Bonchi, J Holland, R Piedeleu, P Sobociński, F Zanasi
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019
762019
Graphical affine algebra
F Bonchi, R Piedeleu, P Sobociński, F Zanasi
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
742019
Deriving bisimulation congruences using 2-categories
V Sassone, P Sobocinski
Nordic Journal of Computing 10, 163-183, 2003
732003
Rewriting modulo symmetric monoidal structure
F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
712016
Representations of Petri net interactions
P Sobociński
International Conference on Concurrency Theory, 554-568, 2010
672010
The calculus of signal flow diagrams I: linear relations on streams
F Bonchi, P Sobociński, F Zanasi
Information and Computation 252, 2-29, 2017
662017
Toposes are adhesive
S Lack, P Sobociński
International Conference on Graph Transformation, 184-198, 2006
652006
Quasitoposes, quasiadhesive categories and Artin glueing
PT Johnstone, S Lack, P Sobociński
Algebra and Coalgebra in Computer Science: Second International Conference …, 2007
582007
String diagram rewrite theory I: rewriting with Frobenius structure
F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi
Journal of the ACM (JACM) 69 (2), 1-58, 2022
572022
A categorical approach to open and interconnected dynamical systems
B Fong, P Sobociński, P Rapisarda
Proceedings of the 31st annual ACM/IEEE symposium on Logic in Computer …, 2016
572016
A connector algebra for P/T nets interactions
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 312-326, 2011
57*2011
A congruence for Petri nets
V Sassone, P Sobociński
Electronic Notes in Theoretical Computer Science 127 (2), 107-120, 2005
492005
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
Foundations of Software Science and Computation Structures: 17th …, 2014
472014
Connector algebras for C/E and P/T nets' interactions
R Bruni, H Melgratti, U Montanari, P Sobocinski
Logical Methods in Computer Science 9, 2013
472013
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20