Author of the publication

Distributed and concurrent objects based on linear logic (Invited Talk).

, and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Languages, , and . In Joint Symposium on Parallel Processing (JSPP, page 277--282. (1993)Asynchronous Communication Model Based on Linear Logic., and . Parallel Symbolic Computing, volume 748 of Lecture Notes in Computer Science, page 331-336. Springer, (1992)Higher-Order Concurrent Linear Logic Programming., and . Theory and Practice of Parallel Programming, volume 907 of Lecture Notes in Computer Science, page 137-166. Springer, (1994)Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language., and . ECOOP, volume 1445 of Lecture Notes in Computer Science, page 418-439. Springer, (1998)Control of system calls from outside of virtual machines., , and . SAC, page 2116-1221. ACM, (2008)Garbage Collection via Dynamic Type Inference - A Fomal Treatment., and . Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 215-239. Springer, (1998)Kernel Mode Linux: Toward an Operating System Protected by a Type Theory., and . ASIAN, volume 2896 of Lecture Notes in Computer Science, page 3-17. Springer, (2003)Object-Oriented Concurrent Reflective Architectures., , , and . Object-Based Concurrent Computing, volume 612 of Lecture Notes in Computer Science, page 211-226. Springer, (1991)The Interface Definition Language for Fail-Safe C., , , and . ISSS, volume 3233 of Lecture Notes in Computer Science, page 192-208. Springer, (2003)Optimistic and Pessimistic Synchronization in Distributed Computing., and . Workshop on Parallel Lisp, volume 441 of Lecture Notes in Computer Science, page 257-260. Springer, (1989)