Search the dblp DataBase
Pawel Sobocinski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bartek Klin , Vladimiro Sassone , Pawel Sobocinski Labels from Reductions: Towards a General Theory. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:30-50 [Conf ] Roberto Bruni , Fabio Gadducci , Ugo Montanari , Pawel Sobocinski Deriving Weak Bisimulation Congruences from Reduction Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 2005, pp:293-307 [Conf ] Bartek Klin , Pawel Sobocinski Syntactic Formats for Free. [Citation Graph (0, 0)][DBLP ] CONCUR, 2003, pp:72-86 [Conf ] Pawel Sobocinski Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. [Citation Graph (0, 0)][DBLP ] Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf ] Paolo Baldan , Andrea Corradini , Tobias Heindel , Barbara König , Pawel Sobocinski Processes for Adhesive Rewriting Systems. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2006, pp:202-216 [Conf ] Vladimiro Sassone , Pawel Sobocinski Deriving Bisimulation Congruences: 2-Categories Vs Precategories. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2003, pp:409-424 [Conf ] Stephen Lack , Pawel Sobocinski Adhesive Categories. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2004, pp:273-288 [Conf ] Stephen Lack , Pawel Sobocinski Toposes Are Adhesive. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:184-198 [Conf ] Vladimiro Sassone , Pawel Sobocinski Reactive Systems over Cospans. [Citation Graph (0, 0)][DBLP ] LICS, 2005, pp:311-320 [Conf ] Pawel Sobocinski Process Congruences from Reaction Rules (Column: Concurrency). [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 2004, v:84, n:, pp:102-127 [Journal ] Vladimiro Sassone , Pawel Sobocinski Deriving Bisimulation Congruences: A 2-categorical Approach. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal ] Vladimiro Sassone , Pawel Sobocinski A Congruence for Petri Nets. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:107-120 [Journal ] Vladimiro Sassone , Pawel Sobocinski Deriving Bisimulation Congruences using 2-categories. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 2003, v:10, n:2, pp:163-0 [Journal ] Vladimiro Sassone , Pawel Sobocinski Locating reaction with 2-categories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:333, n:1-2, pp:297-327 [Journal ] Peter T. Johnstone , Stephen Lack , Pawel Sobocinski Quasitoposes, Quasiadhesive Categories and Artin Glueing. [Citation Graph (0, 0)][DBLP ] CALCO, 2007, pp:312-326 [Conf ] Julian Rathke , Vladimiro Sassone , Pawel Sobocinski Semantic Barbs and Biorthogonality. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2007, pp:302-316 [Conf ] Vincent Danos , Jean Krivine , Pawel Sobocinski General Reversibility. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:75-86 [Journal ] Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP ] Van Kampen Colimits as Bicolimits in Span. [Citation Graph (, )][DBLP ] Deriving Structural Labelled Transitions for Mobile Ambients. [Citation Graph (, )][DBLP ] Representations of Petri Net Interactions. [Citation Graph (, )][DBLP ] Deconstructing behavioural theories of mobility. [Citation Graph (, )][DBLP ] Subobject Transformation Systems. [Citation Graph (, )][DBLP ] A non-interleaving process calculus for multi-party synchronisation [Citation Graph (, )][DBLP ] Proceedings Sixth Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP ] Proceedings Seventh Workshop on Structural Operational Semantics [Citation Graph (, )][DBLP ] A Well-behaved LTS for the Pi-calculus: (Abstract). [Citation Graph (, )][DBLP ] Making the Unobservable, Unobservable. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs