Dr Pawel Sobocinski: Publications

Baldan, P

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,

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.

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.

Bruni, R

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)

Carbone, M

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)

Corradini, A

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)

Danos, V

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

Heindel, T

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.

Klin, B

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.

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.

Lack, S

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.

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

Paolo, B

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, S

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)

Rathke, J

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)

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

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.

Sassone, V

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.

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..

Soboci\'nski, P

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

Sobocinski, P

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.

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

Tobias, H

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