( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling Fresh Names in the ?-calculus Using Abstractions.

, , , и . CMCS, том 106 из Electronic Notes in Theoretical Computer Science, стр. 25-41. Elsevier, (2004)

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.

Marino Philippi

Daniela Marino

Enzo Marino

Marino Perini

Marino Philippi

 

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

Composable partial multiparty session types for open systems., , и . Softw. Syst. Model., 22 (2): 473-494 (апреля 2023)Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems., и . SECRYPT, стр. 300-306. SciTePress, (2011)An Abstract Distributed Middleware for Transactions over Heterogeneous Stores., , и . ICTCS, том 2504 из CEUR Workshop Proceedings, стр. 171-183. CEUR-WS.org, (2019)Deciding Weak Weighted Bisimulation., и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 126-137. CEUR-WS.org, (2017)Modal Logics for Brane Calculus., и . CMSB, том 4210 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2006)Reactive Systems over Directed Bigraphs., и . CONCUR, том 4703 из Lecture Notes in Computer Science, стр. 380-394. Springer, (2007)Composable Partial Multiparty Session Types., , и . FACS, том 13077 из Lecture Notes in Computer Science, стр. 44-62. Springer, (2021)Modeling Fresh Names in the ?-calculus Using Abstractions., , , и . CMCS, том 106 из Electronic Notes in Theoretical Computer Science, стр. 25-41. Elsevier, (2004)A CSP implementation of the directed bigraph embedding problem., , и . CoRR, (2020)A Specification of Open Transactional Memory for Haskell., и . CoRR, (2016)