( en | de | ru )

 

Disambiguierung von "Sobocinski, Pawel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unfolding Grammars in Adhesive Categories.

, , , , und . CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 350-366. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pawel Urbanski

Pawel Golak

Pawel Durek

Sascha Pawel

Pawel Silberring

 

Weitere Publikationen von Autoren mit dem selben Namen

Deriving structural labelled transitions for mobile ambients., und . Inf. Comput., 208 (10): 1221-1242 (2010)Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Volume 04241 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Cartesian bicategories with choice., , und . CoRR, (2020)Relational Presheaves as Labelled Transition Systems.. CMCS, Volume 7399 von Lecture Notes in Computer Science, Seite 40-50. Springer, (2012)Deriving Structural Labelled Transitions for Mobile Ambients., und . CONCUR, Volume 5201 von Lecture Notes in Computer Science, Seite 462-476. Springer, (2008)Deconstructing behavioural theories of mobility., und . IFIP TCS, Volume 273 von IFIP, Seite 507-520. Springer, (2008)Regular Monoidal Languages., und . MFCS, Volume 241 von LIPIcs, Seite 44:1-44:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A categorical approach to open and interconnected dynamical systems, , und . (2015)The Axiom of Choice in Cartesian Bicategories., , und . CALCO, Volume 139 von LIPIcs, Seite 15:1-15:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Refinement for Signal Flow Graphs., , , und . CONCUR, Volume 85 von LIPIcs, Seite 24:1-24:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)