The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.
Telephone:
+442380599220
Telephone:
ps@ecs.soton.ac.uk

Dr Pawel Sobocinski

Academic Staff

Research

Grants

EPSRC postdoc fellowship EP/D066565/1 "Foundations of Process Calculus and Contextual Systems"

Publications

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

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

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,

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

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

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.

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

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. (2005) A Congruence for Petri Nets. In, International Workshop on Petri Nets and Graph Transformations. Elsevier, 107-120.

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.

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.

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.

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.

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.

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

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

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

Rathke, Julian and Sobocinski, Pawel (2008) Deconstructing behavioural theories of mobility. In, Fifth IFIP International Conference on Theoretical Computer Science (TCS), Milano, IT, , 507-520. (doi:10.1007/978-0-387-09680-3_34).

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.

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, Andrea, Hermann, Frank and Sobocinski, Pawel (2008) Subobject transformation systems. Applied Categorical Structures, 16, (3), 389-419. (doi:10.1007/s10485-008-9127-6).

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 Sobocinski, Pawel (2010) Deriving structural labelled transitions for mobile ambients. [in special issue: 19th International Conference on Concurrency Theory (CONCUR 2008)] Information and Computation, 208, (10), 1221-1242. (doi:10.1016/j.ic.2010.06.001).

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

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

Sobocinski, Pawel (2010) Representations of Petri net interactions. In, CONCUR'10 Proceedings of the 21st International Conference on Concurrency Theory, Paris, FR, 31 Aug - 03 Sep 2010. , 554-568. (doi:10.1007/978-3-642-15375-4_38).

Bruni, Roberto, Hernan, Melgratti, Ugo, Montanari and Pawel, Sobocinski (2013) Connector algebras for C/E and P/T nets interactions. [in special issue: Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011 Aachen, Germany, 2011] Logical Methods in Computer Science, 9, (3), 1-65. (doi:10.2168/LMCS-9(3:16)2013).

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, 1-40.

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

Bonchi, Filippo, Gadducci, Fabio , Kissinger, Aleks , Sobocinski, Pawel and Zanasi, Fabio (2016) Rewriting modulo symmetric monoidal structure. In, LiCS 2016: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, US, 05 - 08 Jul 2016. ACM10pp.

Fong, Brendan, Sobocinski, Pawel and Rapisarda, Paolo (2016) A categorical approach to open and interconnected dynamical systems. In, LiCS 2016: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, US, 05 - 08 Jul 2016. ACM10pp.

Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio (2016) The calculus of signal flow diagrams I: linear relations on streams. Information and Computation, 1-28. (doi:10.1016/j.ic.2016.03.002).

Sobocinski, Pawel (2015) Full abstraction for signal flow graphs. In, POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Mumbai, IN, 12 - 18 Jan 2015. New York, US, ACM, 515-526. (doi:10.1145/2676726.2676993).

Rathke, Julian, Sobocinski, Pawel and Stephens, Owen (2014) Compositional reachability in Petri nets. In, 8th International Workshop on Reachability Problems., Oxford, UK, 22 - 24 Sep 2014. Springer-Verlag, 230-243. (doi:10.1007/978-3-319-11439-2_18).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×