( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic Semantics Revisited.

, и . FoSSaCS, том 4962 из Lecture Notes in Computer Science, стр. 395-412. Springer, (2008)

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

 

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

Bisimilarity of Open Terms in Stream GSOS., , , и . CoRR, (2018)Contextual Equivalence for Signal Flow Graphs., , , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 77-96. Springer, (2020)Minimization Algorithm for Symbolic Bisimilarity., и . ESOP, том 5502 из Lecture Notes in Computer Science, стр. 267-284. Springer, (2009)A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice., , и . ICTAC, том 8687 из Lecture Notes in Computer Science, стр. 351-368. Springer, (2014)Efficient computation of program equivalence for confluent concurrent constraint programming., , и . PPDP, стр. 263-274. ACM, (2013)Behaviour-Aware Matching of Cloud Applications., , , и . TASE, стр. 117-124. IEEE Computer Society, (2016)Concurrency Can't Be Observed, Asynchronously., , , и . APLAS, том 6461 из Lecture Notes in Computer Science, стр. 424-438. Springer, (2010)Deriving Syntax and Axioms for Quantitative Regular Behaviours., , , и . CONCUR, том 5710 из Lecture Notes in Computer Science, стр. 146-162. Springer, (2009)From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)., , и . CALCO, том 211 из LIPIcs, стр. 9:1-9:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)