Dr Pawel Sobocinski: Publications

Bruni, Roberto, Hernan, Melgratti, Ugo, Montanari and Pawel, Sobocinski (2012) Connector Algebras for C/E and P/T Nets Interactions. Logical Methods in Computer Science (Submitted)

Paolo, Baldan, Andrea, Corradini, Tobias, Heindel, Barbara, Koenig and Pawel, Sobocinski (2012) Processes and Unfoldings: Concurrent Computations in Adhesive Categories. Mathematical Structures in Computer Science (In Press)

Pawel, Sobocinski and Heindel, Tobias (2011) Being Van Kampen is a universal property. Logical Methods in Computer Science, 7, (1)(doi:10.2168/LMCS-7(1:14)2011) (In Press)

Tobias, Heindel and Pawel, Sobocinski (2011) Being Van Kampen is a universal property. Logical Methods in Computer Science, 7, (1)

Rathke, Julian and Soboci\'nski, Pawel (2010) Deriving structural labelled transitions for mobile ambients. Information and Computation (Submitted)

Rathke, Julian and Sobocinski, Pawel (2010) Deriving structural labelled transitions for mobile ambients. Information and Computation, 208, (10), 1221-1242. (doi:10.1016/j.ic.2010.06.001)

Sobocinski, Pawel (2010) Representations of Petri Net interactions. In, CONCUR 2010 - 21st International Conference on Concurrency Theory, Paris, FR, 15pp, 554-568.

Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR `10, Paris, France, 31 Aug - 03 Sep 2010.

Baldan, Paolo, Corradini, Andrea, König, Barbara and Sobocinski, Pawel (2009) Unfolding grammars in adhesive categories. In, CALCO 2009: 3rd Conference on Algebra and Coalgebra in Computer Science, Udine, IT,

Carbone, Marco, Sobocinski, Pawel and Valencia, Frank D. (2009) Foreword: Festschrift for Mogens Nielsen's 60th birthday. [in special issue: Festschrift for Mogens Nielsen’s 60th Birthday] Theoretical Computer Science, 410, (41), 4001-4005. (doi:10.1016/j.tcs.2009.06.007)

Baldan, Paolo, Corradini, Andrea, Heindel, Tobias, K\"onig, Barbara and Soboci\'nski, Paweł (2009) Unfolding grammars in adhesive categories. In, Algebra and Coalgebra in Computer Science (CALCO `09), Udine, Italy, 07 - 10 Sep 2009. Springer, 350-366.

Heindel, Tobias and Soboci\'nski, Paweł (2009) Van Kampen colimits as bicolimits in Span. In, Algebra and Coalgebra in Computer Science (CALCO `09) Springer, 335-349.

Rathke, Julian and Soboci\'nski, Pawel (2009) Making the unobservable, unobservable. In, Proceedings of ICE '08 , 131-144.

Soboci\'nski, Pawel (2009) A non-interleaving process calculus for multi-party synchronisation. In, ICE '09

Corradini, Andrea, Hermann, Frank and Sobocinski, Pawel (2008) Subobject transformation systems. Applied Categorical Structures, 16, (3), 389-419. (doi:10.1007/s10485-008-9127-6)

Rathke, Julian and Sobocinski, Pawel (2008) Deconstructing behavioural theories of mobility. In, Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milan, Springer, 507-520.

Rathke, Julian and Sobocinski, Pawel (2008) Deriving structural labelled transitions for mobile ambients. In, 19th International Conference on Concurrency Theory (CONCUR), Toronto, Springer, 462-476.

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. In, Foundations of Software Science and Computation Structures, FOSSACS 2007 Springer, 302-316.

Baldan, P, Corradini, A, Heindel, T, König, B and Sobocinski, P (2006) Processes for adhesive rewriting systems. In, Foundations of Software Science and Computation Structures, Vienna, Austria, 25 - 31 Mar 2006. Springer, 202-216.

Danos, V, Krivine, J and Sobocinski, P (2006) General reversibility. In, 13th International Workshop on Expressiveness in Concurrency, Express '06, Bonn, Germany,

Lack, Stephen and Sobocinski, Pawel (2006) Toposes are adhesive. In, International Conference on Graph Transformation (ICGT '06), Natal, Brazil, 17 - 23 Sep 2006. Springer, 184-198.

Klin, B., Sassone, V. and Sobocinski, P. (2005) Labels from Reductions: Towards a General Theory. In, First International Conference on Algebras and Coalgebras in Computer Science. Springer, 30-50.

Lack, Stephen and Sobocinski, Pawel (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39, (2), 522-546.

Sassone, V. and Sobocinski, P. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

Sassone, V. and Sobocinski, P. (2005) Locating Reactions using 2-Categories. Theoretical Computer Science, 333, (1-2), 297-327.

Sassone, V. and Sobocinski, P. (2005) Reactive Systems over Cospans. In, 20th Symposium on Logic in Computer Science, LICS 2005. IEEE Computer Society Press, 311-320.

Sobocinski, P (2004) Deriving process congruences from reaction rules. University of Aarhus, BRICS, Doctoral Thesis.

Klin, B and Sobocinski, P (2003) Syntactic formats for free: an abstract approach to process equivalence. In, Concur '03, Marseille, France, 03 - 05 Sep 2003. Springer, 72-86.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences using 2-Categories. Nordic Journal of Computing, 10, 163-183.

Sassone, V. and Sobocinski, P. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories. In, Foundations of Software Science and Computation Structures, FOSSACS 2003. Springer, 409-424.

Sassone, V. and Sobocinski, P. (2002) Deriving Bisimulation Congruences: A 2-Categorical Approach. In, 9th Int. Workshop on Expressiveness in Concurrency, EXPRESS 2002. Elsevier, 19 pp..