Pawel Sobocinski
Pawel Sobocinski
Associate Professor in Computer Science, University of Southampton
Bestätigte E-Mail-Adresse bei ecs.soton.ac.uk
TitelZitiert vonJahr
Adhesive categories
S Lack, P Sobociński
International Conference on Foundations of Software Science and Computation …, 2004
2152004
Adhesive and quasiadhesive categories
S Lack, P Sobociński
RAIRO-Theoretical Informatics and Applications 39 (3), 511-545, 2005
1692005
Reactive systems over cospans
V Sassone, P Sobocinski
1002005
Deriving bisimulation congruences using 2-categories
V Sassone, P Sobocinski
Nordic Journal of Computing 10, 163-183, 2003
662003
Full abstraction for signal flow graphs
F Bonchi, P Sobocinski, F Zanasi
ACM SIGPLAN Notices 50 (1), 515-526, 2015
492015
A categorical semantics of signal flow graphs
F Bonchi, P Sobociński, F Zanasi
International Conference on Concurrency Theory, 435-450, 2014
482014
Some properties of timed nets under the earliest firing rule
PH Starke
European Workshop on Applications and Theory in Petri Nets, 418-432, 1988
48*1988
Representations of Petri net interactions
P Sobociński
International Conference on Concurrency Theory, 554-568, 2010
452010
Deconstructing behavioural theories of mobility
J Rathke, P Sobociński
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
422008
A connector algebra for P/T nets interactions
R Bruni, H Melgratti, U Montanari
International Conference on Concurrency Theory, 312-326, 2011
412011
Deriving process congruences from reaction rules
P Sobocinski
PhD thesis, BRICS, University of Aarhus, 2004
412004
Deriving bisimulation congruences: 2-categories vs precategories
V Sassone, P Sobociśki
International Conference on Foundations of Software Science and Computation …, 2003
402003
A congruence for Petri nets
V Sassone, P Sobocinski
382005
Semantic barbs and biorthogonality
J Rathke, V Sassone, P Sobociński
International Conference on Foundations of Software Science and …, 2007
372007
Deriving structural labelled transitions for mobile ambients
J Rathke, P Sobociński
International Conference on Concurrency Theory, 462-476, 2008
362008
Toposes are adhesive
S Lack, P Sobociński
International Conference on Graph Transformation, 184-198, 2006
362006
Connector algebras for C/E and P/T nets' interactions
R Bruni, H Melgratti, U Montanari, P Sobocinski
arXiv preprint arXiv:1307.0204, 2013
322013
Interacting Hopf algebras
F Bonchi, P Sobociński, F Zanasi
Journal of Pure and Applied Algebra 221 (1), 144-184, 2017
292017
Interacting bialgebras are Frobenius
F Bonchi, P Sobociński, F Zanasi
International Conference on Foundations of Software Science and Computation …, 2014
292014
Deriving bisimulation congruences: A 2-categorical approach
V Sassone, P Sobocinski
Proceedings of 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS …, 2002
282002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20