СТ |
A Semantics for Web Services Authentication |
2004 |
Bhargavan K., Fournet C., Gordon A. D. |
|
|
|
POPL 2004 |
09.06.2004 |
СТ |
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 |
СТ |
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 |
СТ |
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 |