| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michel A. Reniers, Pawel Sobocinski (eds.) |
Proceedings Eight Workshop on Structural Operational Semantics 2011  |
SOS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Heindel, Pawel Sobocinski |
Being Van Kampen is a universal property |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Fabio Gadducci, Pawel Sobocinski |
Adhesivity Is Not Enough: Local Church-Rosser Revisited. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Lantair, Pawel Sobocinski |
WiCcA : LTS Generation Tool for Wire Calculus. |
CALCO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Deriving structural labelled transitions for mobile ambients. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Pawel Sobocinski (eds.) |
Proceedings Seventh Workshop on Structural Operational Semantics |
SOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Representations of Petri Net Interactions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Pawel Sobocinski, Frank D. Valencia |
Foreword: Festschrift for Mogens Nielsen's 60th birthday. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Making the Unobservable, Unobservable. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Pawel Sobocinski (eds.) |
Proceedings Sixth Workshop on Structural Operational Semantics |
SOS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
A non-interleaving process calculus for multi-party synchronisation |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Deriving Labelled Transition Systems - A Structural Approach. |
Bulletin of the EATCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski |
Unfolding Grammars in Adhesive Categories. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Heindel, Pawel Sobocinski |
Van Kampen Colimits as Bicolimits in Span. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Frank Hermann, Pawel Sobocinski |
Subobject Transformation Systems. |
Applied Categorical Structures |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18B35, 68Q10, 68Q42 |
| 1 | Julian Rathke, Pawel Sobocinski |
Deriving Structural Labelled Transitions for Mobile Ambients. |
CONCUR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Pawel Sobocinski |
Deconstructing behavioural theories of mobility. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
A Well-behaved LTS for the Pi-calculus: (Abstract). |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Danos, Jean Krivine, Pawel Sobocinski |
General Reversibility. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter T. Johnstone, Stephen Lack, Pawel Sobocinski |
Quasitoposes, Quasiadhesive Categories and Artin Glueing. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
Semantic Barbs and Biorthogonality. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Reversing graph transformations. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen Lack, Pawel Sobocinski |
Toposes Are Adhesive. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König, Pawel Sobocinski |
Processes for Adhesive Rewriting Systems. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Locating reaction with 2-categories. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Lack, Pawel Sobocinski |
Adhesive and quasiadhesive categories. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
A Congruence for Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawel Sobocinski |
Deriving Weak Bisimulation Congruences from Reduction Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Reactive Systems over Cospans. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
Labels from Reductions: Towards a General Theory. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Process Congruences from Reaction Rules (Column: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Pawel Sobocinski |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stephen Lack, Pawel Sobocinski |
Adhesive Categories. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences using 2-categories. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Bartek Klin, Pawel Sobocinski |
Syntactic Formats for Free. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences: 2-Categories Vs Precategories. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone, Pawel Sobocinski |
Deriving Bisimulation Congruences: A 2-categorical Approach. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")