( en | de | ru )

 

Disambiguierung von "Sobocinski, Pawel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Deriving Weak Bisimulation Congruences from Reduction Systems.

, , , und . CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 293-307. Springer, (2005)

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 Golak

Pawel Urbanski

Sascha Pawel

Pawel Durek

Pawel Silberring

 

Weitere Publikationen von Autoren mit dem selben Namen

A categorical approach to open and interconnected dynamical systems, , und . (2015)Deconstructing behavioural theories of mobility., und . IFIP TCS, Volume 273 von IFIP, Seite 507-520. Springer, (2008)Deriving Structural Labelled Transitions for Mobile Ambients., und . CONCUR, Volume 5201 von Lecture Notes in Computer Science, Seite 462-476. Springer, (2008)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 . 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)Refinement for Signal Flow Graphs., , , und . CONCUR, Volume 85 von LIPIcs, Seite 24:1-24:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)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)Bialgebraic Semantics for String Diagrams., , , und . CONCUR, Volume 140 von LIPIcs, Seite 37:1-37:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)