( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Information flow safety in multiparty sessions.

, , и . Math. Struct. Comput. Sci., 26 (8): 1352-1394 (2016)

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.

Ottmar Castellani

Christopher Castellani

Ilaria Rinaldi

Ilaria Pascucci

Ilaria Marchetti

 

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

A Theory of Process with Localities (Extended Abstract)., , , и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 108-122. Springer, (1992)Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra., , , , и . Concurrency, Graphs and Models, том 5065 из Lecture Notes in Computer Science, стр. 757-777. Springer, (2008)Reactive Concurrent Programming Revisited., , , и . APC 25, том 162 из Electronic Notes in Theoretical Computer Science, стр. 49-60. Elsevier, (2005)Permutation of transitions: An event structure semantics for CCS and SCCS., и . REX Workshop, том 354 из Lecture Notes in Computer Science, стр. 411-427. Springer, (1988)Bisimulations and Abstraction Homomorphisms.. TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 223-238. Springer, (1985)Global types with internal delegation., , , и . Theor. Comput. Sci., (2020)A Theory of Processes with Localities., , , и . Formal Aspects Comput., 6 (2): 165-200 (1994)Concurrent Reversible Sessions., , и . CONCUR, том 85 из LIPIcs, стр. 30:1-30:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Testing Theories for Asynchronous Languages., и . FSTTCS, том 1530 из Lecture Notes in Computer Science, стр. 90-101. Springer, (1998)CONCUR Test-Of-Time Award 2022 (Invited Paper)., , , , и . CONCUR, том 243 из LIPIcs, стр. 1:1-1:3. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)