| 2008 |
|---|
| 22 | EE | Julian Rathke,
Pawel Sobocinski:
Deriving Structural Labelled Transitions for Mobile Ambients.
CONCUR 2008: 462-476 |
| 21 | EE | Julian Rathke,
Pawel Sobocinski:
Deconstructing behavioural theories of mobility.
IFIP TCS 2008: 507-520 |
| 20 | EE | Andrea Corradini,
Frank Hermann,
Pawel Sobocinski:
Subobject Transformation Systems.
Applied Categorical Structures 16(3): 389-419 (2008) |
| 2007 |
|---|
| 19 | EE | Peter T. Johnstone,
Stephen Lack,
Pawel Sobocinski:
Quasitoposes, Quasiadhesive Categories and Artin Glueing.
CALCO 2007: 312-326 |
| 18 | EE | Julian Rathke,
Vladimiro Sassone,
Pawel Sobocinski:
Semantic Barbs and Biorthogonality.
FoSSaCS 2007: 302-316 |
| 17 | EE | Vincent Danos,
Jean Krivine,
Pawel Sobocinski:
General Reversibility.
Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
| 16 | EE | Pawel Sobocinski:
A Well-behaved LTS for the Pi-calculus: (Abstract).
Electr. Notes Theor. Comput. Sci. 192(1): 5-11 (2007) |
| 2006 |
|---|
| 15 | EE | Paolo Baldan,
Andrea Corradini,
Tobias Heindel,
Barbara König,
Pawel Sobocinski:
Processes for Adhesive Rewriting Systems.
FoSSaCS 2006: 202-216 |
| 14 | EE | Stephen Lack,
Pawel Sobocinski:
Toposes Are Adhesive.
ICGT 2006: 184-198 |
| 13 | EE | Pawel Sobocinski:
Reversing graph transformations.
ECEASST 2: (2006) |
| 2005 |
|---|
| 12 | EE | Bartek Klin,
Vladimiro Sassone,
Pawel Sobocinski:
Labels from Reductions: Towards a General Theory.
CALCO 2005: 30-50 |
| 11 | EE | Roberto Bruni,
Fabio Gadducci,
Ugo Montanari,
Pawel Sobocinski:
Deriving Weak Bisimulation Congruences from Reduction Systems.
CONCUR 2005: 293-307 |
| 10 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Reactive Systems over Cospans.
LICS 2005: 311-320 |
| 9 | EE | Vladimiro Sassone,
Pawel Sobocinski:
A Congruence for Petri Nets.
Electr. Notes Theor. Comput. Sci. 127(2): 107-120 (2005) |
| 8 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Locating reaction with 2-categories.
Theor. Comput. Sci. 333(1-2): 297-327 (2005) |
| 2004 |
|---|
| 7 | EE | Stephen Lack,
Pawel Sobocinski:
Adhesive Categories.
FoSSaCS 2004: 273-288 |
| 6 | EE | Pawel Sobocinski:
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 |
| 5 | | Pawel Sobocinski:
Process Congruences from Reaction Rules (Column: Concurrency).
Bulletin of the EATCS 84: 102-127 (2004) |
| 2003 |
|---|
| 4 | EE | Bartek Klin,
Pawel Sobocinski:
Syntactic Formats for Free.
CONCUR 2003: 72-86 |
| 3 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences: 2-Categories Vs Precategories.
FoSSaCS 2003: 409-424 |
| 2 | | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences using 2-categories.
Nord. J. Comput. 10(2): 163- (2003) |
| 2002 |
|---|
| 1 | EE | Vladimiro Sassone,
Pawel Sobocinski:
Deriving Bisimulation Congruences: A 2-categorical Approach.
Electr. Notes Theor. Comput. Sci. 68(2): (2002) |
