Вы здесь

Fournet C.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Authentication Primitives and Their Compilation 2000 Abadi M., Fournet C., Gonthier G. Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages 05.06.2000
СТ The Join Calculus: A Language for Distributed Mobile Programming 2002 Fournet C., Gonthier G. Lecture Notes in Computer Science 26.10.2002
СТ Modern Concurrency Abstractions for C# 2002 Benton L., Cardelli L., Fournet C. Lecture Notes in Computer Science 17.07.2002
СТ JoCaml: A Language for Concurrent Distributed and Mobile Programming 2003 Fournet C., Le Fessant F., Maanget L., Schmitt A. Lecture Notes in Computer Science 06.06.2003
СТ A Semantics for Web Services Authentication 2004 Bhargavan K., Fournet C., Gordon A. D. POPL 2004 09.06.2004