( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination.

, , и . Log. Methods Comput. Sci., (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cesare Filippo

Filippo Coletti

Filippo Pellacani

Filippo Scacco

Filippo Fratini

 

Другие публикации лиц с тем же именем

Interacting Hopf Algebras., , и . CoRR, (2014)String Diagram Rewrite Theory I: Rewriting with Frobenius Structure., , , , и . CoRR, (2020)Convexity via Weak Distributive Laws., и . CoRR, (2021)A General Theory of Barbs, Contexts, and Labels., , и . ACM Trans. Comput. Log., 15 (4): 35:1-35:27 (2014)Modular encoding of synchronous and asynchronous interactions using open Petri nets., , , и . Sci. Comput. Program., (2015)Bisimilarity of open terms in stream GSOS., , , и . Sci. Comput. Program., (2019)Preface., , , , и . ICE@ICALP, том 229 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2008)On Doctrines and Cartesian Bicategories., , , и . CALCO, том 211 из LIPIcs, стр. 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Bisimilarity of Open Terms in Stream GSOS., , и . FSEN, том 10522 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2017)A Behavioural Congruence for Web Services., , , и . FSEN, том 4767 из Lecture Notes in Computer Science, стр. 240-256. Springer, (2007)