Sobocinski, Pawel - School of Electronics and Computer Science, University of Southampton

Advanced Search

Sobocinski, Pawel - School of Electronics and Computer Science, University of Southampton

Representations of Petri net interactions Pawel Sobocinski
Submitted to: c Pawel Sobocinski
Making the unobservable, unobservable Julian Rathke
Deconstructing behavioural theories of mobility Julian Rathke and Pawel Sobocinski
Semantic Barbs and Biorthogonality Julian Rathke, Vladimiro Sassone and Pawel Sobocinski
Processes for Adhesive Rewriting Systems Paolo Baldan1
Electronic Communications of the EASST Volume 2 (2006)
PNGT'04 Preliminary Version A congruence for Petri nets
Deriving weak bisimulation congruences from reduction systems
Locating Reaction with 2-categories Vladimiro Sassone a, Pawel Sobocinski b
Nordic Journal of Computing Deriving Bisimulation Congruences using 2-categories
Deriving process congruences from reaction rules
Adhesive Categories Stephen Lack1 and Pawel Sobocinski2
Unfolding Grammars in Adhesive Categories Paolo Baldan1
Electronic Notes in Theoretical Computer Science 68 No. 2 (2002) URL: http://www.elsevier.nl/locate/entcs/volume68.html 19 pages
Adhesivity, Bigraphs and Bisimulation Congruences
Labels from reductions: towards a general theory Bartek Klin, Vladimiro Sassone, and Pawel Sobocinski
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Reactive systems over cospans Vladimiro Sassone
Deriving structural labelled transitions for mobile Julian Rathke, Pawel Sobocinski,1
Toposes are adhesive Stephen Lack1
Deriving Bisimulation Congruences: 2-categories vs precategories
Van Kampen colimits as bicolimits in Span Tobias Heindel1
Deriving structural labelled transitions for mobile ambients