Publications

  1. Sound Bisimulations for Higher-Order Distributed Process Calculus [PDF].

    Adrien Piérard and Eijiro Sumii. To be presented at FoSSaCS 2011.

    Extended abstract will appear in Proceedings of 14th International Conference on Foundations of Software Science and Computation Structures, Saarbruecken, Germany, March 26 - April 3, 2011 (Lecture Notes in Computer Science, Springer-Verlag, Germany, vol. 6604), 15 pages. The final publication is available at www.springerlink.com

  2. Towards a Portable and Mobile Scheme Interpreter [PDF].

    Adrien Piérard and Marc Feeley. Towards a portable and mobile Scheme interpreter, in Proceedings of The 8th Workshop on Scheme and Functional Programming, pp. 59−68, September 2007.

Last modification date: maybe 24/05/11 18:58:57