( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

, , , , , и . MeCBIC, том 100 из EPTCS, стр. 101-106. (2012)

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.

Vincenzo Ciancaglini

 

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

Preface. Inf. Comput., 109 (1/2): 1-3 (февраля 1994)An extension of the basic functionality theory for the λ-calculus., и . Notre Dame J. Formal Log., 21 (4): 685-693 (1980)Polymorphic types, fixed-point combinators and continuous lambda-models., и . Formal Description of Programming Concepts, стр. 425-450. North-Holland, (1987)May and Must Convergencey in Concurrent Lambda-Calculus., , и . MFCS, том 841 из Lecture Notes in Computer Science, стр. 211-220. Springer, (1994)Types for Role-Based Access Control of Dynamic Web Data., , , и . WFLP, том 6559 из Lecture Notes in Computer Science, стр. 1-29. Springer, (2010)Partial Types and Intervals., и . SIAM J. Comput., 19 (4): 644-568 (1990)Isomorphism of "Functional" Intersection Types., , , и . TYPES, том 26 из LIPIcs, стр. 129-149. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Security Types for Dynamic Web Data., , и . TGC, том 4661 из Lecture Notes in Computer Science, стр. 263-280. Springer, (2006)Intersection types and lambda models., , и . Theor. Comput. Sci., 355 (2): 108-126 (2006)Asynchronous Sessions with Input Races., , и . PLACES@ETAPS, том 356 из EPTCS, стр. 12-23. (2022)