Abstract PNGT’04 Preliminary Version A congruence for (2008)
Petri Nets, Vladimiro Sassone, Paweł Sobociński
We introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS)...
Stephen Lack, Paweł Sobociński
Abstract. We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved, as well as quasiadhesive categories which restrict...
Deriving Bisimulation Congruences: (2008)
Categories Vs Precategories, Vladimiro Sassone, Paweł Sobociński
Abstract. G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction...
Reversing graph transformations 2 (2008)
Paweł Sobociński, Paolo Baldan, Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg, Tiziana Margaria, ...
a general framework for backtracking in concurrent formalisms, thus allowing modelling of situations where deadlock can arise without the necessity of explicitly encoding the often involved...
Deriving weak bisimulation congruences from reduction systems (2005)
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Paweł Sobociński
Abstract. The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition systems...
Labels from Reductions: Towards a General Theory (2005)
Bartek Klin, Vladimiro Sassone, Paweł Sobociński
Abstract. We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
Labels From Reductions: Towards a General Theory (2005)
Bartek Klin Vladimiro, Vladimiro Sassone, Paweł Sobociński
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
Labels from Reductions: Towards a General Theory (2005)
Bartek Klin, Vladimiro Sassone, Paweł Sobociński
Abstract. We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems. 1
Deriving weak bisimulation congruences from reduction systems (2005)
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Paweł Sobociński
Abstract. The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition systems...
Stephen Lack, Paweł Sobociński
Abstract. We introduce adhesive categories, which are categories with structure ensuring that pushouts along monomorphisms are well-behaved. Many types of graphical structures used in computer...
Congruences for Contextual Graph-Rewriting (2004)
Vladimiro Sassone, Pawel Sobocinski, Copyright C, Vladimiro Sassone, Paweł Sobociński, Vladimiro Sassone, ...
We introduce a comprehensive operational semantic theory of graphrewriting.
Deriving process congruences from reaction rules (2004)
Paweł Sobociński, Phd Dissertation
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
Deriving bisimulation congruences: 2-categories vs. precategories (2003)
Vladimiro Sassone, Paweł Sobociński
G-relative pushouts (GRPOs) have recently been proposed by the authors as a new foundation for Leifer and Milner’s approach to deriving labelled bisimulation congruences from reduction systems....
An Abstract Approach to Process Equivalence (2003)
Bartek Klin, Paweł Sobociński, Copyright C, Bartek Klin, Paweł Sobociński, Bartek Klin
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
This document in subdirectoryRS/04/11/ Congruences for Contextual Graph-Rewriting
Vladimiro Sassone, Paweł Sobociński, Copyright C, Vladimiro Sassone, Paweł Sobociński, Vladimiro Sassone, ...
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...
School of Quantitative Methods and Mathematical Sciences,
Paweł Sobociński, Paweł Sobociński
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS...