Browse by UCL people
Group by: Type | Date
Jump to: Article | Proceedings paper
Number of items: 6.
Article
Bonchi, F;
Piedeleu, R;
Sobociński, P;
Zanasi, F;
(2021)
Bialgebraic foundations for the operational semantics of string diagrams.
Information and Computation
, 281
, Article 104767. 10.1016/j.ic.2021.104767.
|
Proceedings paper
|
Bonchi, F;
Holland, J;
Piedeleu, R;
Sobocinski, P;
Zanasi, F;
(2019)
Diagrammatic Algebra: from Linear to Concurrent Systems.
In:
Proceedings of the ACM on Programming Languages.
ACM: New York, NY, USA.
|
 |
|
Bonchi, F;
Piedeleu, R;
Sobocinski, P;
Zanasi, F;
(2020)
Contextual Equivalence for Signal Flow Graphs.
In: Goubault-Larrecq, J and König, B, (eds.)
Foundations of Software Science and Computation Structures.
(pp. pp. 77-96).
Springer: Cham, Switzerland.
|
|
|
Bonchi, F;
Piedeleu, R;
Sobocinski, P;
Zanasi, F;
(2019)
Bialgebraic semantics for string diagrams.
In:
30th International Conference on Concurrency Theory (CONCUR 2019).
(pp. 37-1-37-17).
Dagstuhl Publishing: Amsterdam, the Netherlands.
|
|
|
Bonchi, F;
Piedeleu, R;
Sobocinski, P;
Zanasi, F;
(2019)
Graphical affine algebra.
In:
Proceedings of the 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE: Vancouver, BC, Canada.
|
|
|
Piedeleu, R;
Zanasi, F;
(2021)
A String Diagrammatic Axiomatisation of Finite-State Automata.
In: Kiefer, S and Tasson, C, (eds.)
Foundations of Software Science and Computation Structures.
(pp. pp. 469-489).
Springer
|
|
