Dr Pawel Sobocinski: Publications

2010

Rathke, J. and Soboci\'nski, P. (2010) Deriving structural labelled transitions for mobile ambients. Information and Computation . (In Press)

Sobocinski, P. (2010) Representations of Petri net interactions. In: CONCUR `10, August 31 - September 3 2010, Paris, France.

2009

Baldan, P., Corradini, A., Heindel, T., K\"onig, B. and Soboci\'nski, P. (2009) Unfolding grammars in adhesive categories. In: Algebra and Coalgebra in Computer Science (CALCO `09), September 7-10, 2009, Udine, Italy. pp. 350-366.

Carbone, M., Sobocinski, P. and Valencia, F. D. (2009) Foreword: Festschrift for Mogens Nielsen's 60th birthday. THEORETICAL COMPUTER SCIENCE, 410 . pp. 4001-4005.

Heindel, T. and Soboci\'nski, P. (2009) Van Kampen colimits as bicolimits in Span. In: Algebra and Coalgebra in Computer Science (CALCO `09). pp. 335-349.

Rathke, J. and Soboci\'nski, P. (2009) Making the unobservable, unobservable. In: Proceedings of ICE '08. pp. 131-144.

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

2008

Corradini, A., Hermann, F. and Sobocinski, P. (2008) Subobject transformation systems. APPLIED CATEGORICAL STRUCTURES, 16 . pp. 389-419.

Rathke, J. and Sobocinski, P. (2008) Deconstructing behavioural theories of mobility. In: Fifth IFIP International Conference on Theoretical Computer Science (TCS), Sep 2008, Milan. pp. 507-520.

Rathke, J. and Sobocinski, P. (2008) Deriving structural labelled transitions for mobile ambients. In: 19th International Conference on Concurrency Theory (CONCUR), Aug 2008, Toronto. pp. 462-476.

2007

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

2006

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, March 25-31, 2006, Vienna, Austria. pp. 202-216.

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

Lack, S. and Sobocinski, P. (2006) Toposes are adhesive. In: International Conference on Graph Transformation (ICGT '06), September 17-23, 2006, Natal, Brazil. pp. 184-198.

2005

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.. pp. 30-50.

Lack, S. and Sobocinski, P. (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications, 39 (2). pp. 522-546.

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

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

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

2004

Sobocinski, P. (2004) Deriving process congruences from reaction rules. PhD thesis, University of Aarhus.

2003

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

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

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

2002

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