( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Krivine nets: a semantic foundation for distributed execution.

, и . ICFP, стр. 349-361. ACM, (2014)

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.

Dan Stern

Horst Dan

Dan Radulescu

Dan Rusdea

Dan Fulea

 

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

Reasoning about Idealized ALGOL Using Regular Languages., и . ICALP, том 1853 из Lecture Notes in Computer Science, стр. 103-115. Springer, (2000)Syntactic Control of Concurrency., , и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 683-694. Springer, (2004)Angelic semantics of fine-grained concurrency., и . Ann. Pure Appl. Log., 151 (2-3): 89-114 (2008)Functorial String Diagrams for Reverse-Mode Automatic Differentiation., , , и . CoRR, (2021)Geometry of synthesis: a structured approach to VLSI design.. POPL, стр. 363-375. ACM, (2007)Rewriting for Monoidal Closed Categories., , , и . FSCD, том 228 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Geometry of synthesis iv: compiling affine recursion into static hardware., , и . ICFP, стр. 221-233. ACM, (2011)Compositional Model Extraction for Higher-Order Concurrent Programs., и . TACAS, том 3920 из Lecture Notes in Computer Science, стр. 303-317. Springer, (2006)Compiling Higher Order Functional Programs to Composable Digital Hardware., , , , , , и . FCCM, стр. 234. IEEE Computer Society, (2014)Diagrammatic Semantics for Digital Circuits., , и . CSL, том 82 из LIPIcs, стр. 24:1-24:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)