( en | de | ru )

 

Disambiguierung von "Bonchi, Filippo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Graphical Affine Algebra.

, , , und . LICS, Seite 1-12. IEEE, (2019)

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.

Cesare Filippo

Filippo Coletti

Filippo Pellacani

Filippo Scacco

Filippo Fratini

 

Weitere Publikationen von Autoren mit dem selben Namen

Minimization Algorithm for Symbolic Bisimilarity., und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 267-284. Springer, (2009)Efficient computation of program equivalence for confluent concurrent constraint programming., , und . PPDP, Seite 263-274. ACM, (2013)Concurrency Can't Be Observed, Asynchronously., , , und . APLAS, Volume 6461 von Lecture Notes in Computer Science, Seite 424-438. Springer, (2010)A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice., , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 351-368. Springer, (2014)Behaviour-Aware Matching of Cloud Applications., , , und . TASE, Seite 117-124. IEEE Computer Society, (2016)Bisimilarity of Open Terms in Stream GSOS., , , und . CoRR, (2018)Contextual Equivalence for Signal Flow Graphs., , , und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 77-96. Springer, (2020)Deriving Syntax and Axioms for Quantitative Regular Behaviours., , , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 146-162. Springer, (2009)From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)., , und . CALCO, Volume 211 von LIPIcs, Seite 9:1-9:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Saturated Semantics for Coalgebraic Logic Programming., und . CALCO, Volume 8089 von Lecture Notes in Computer Science, Seite 80-94. Springer, (2013)