Changes between Version 6 and Version 7 of PublicationsEn

Timestamp:

02/21/11 23:51:00 (13 years ago)

Author:

yonelab

Comment:

--

PublicationsEn

@@ -181 +181 @@
  In ''9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming pp. 216-229, 2003/6''
 
+{{{
+#!comment
  Frederic Peschanski, Reynald Affeldt and Akinori Yonezawa::
  '''Interaction Spaces: Towards a Geometry of Mobile Agent Systems'''[[br]]
  In ''Langages et Modeles Objects 2004 vol. RESTIL'Object, 2004''
-
+}}}
+
+{{{
+#!comment
  Frederic Peschanski, Jean-Pierre Briot::
  '''Dynamic Adaptation of Distributed Components'''[[br]]
  In ''Technique et Science Informatique vol. 23 no. 2, 2004''
-
+}}}
+
+{{{
+#!comment
  Kenji Kaneda, Kenjiro Taura, and Akinori Yonezawa::
  '''Routing and Resource Discovery in Phoenix Grid-Enabled Message Passing Library'''[[br]]
  In ''4th IEEE/ACM International Symposium on Cluster Computing
  and the Grid, pp. 670-677, April 2004''
-
+}}}
+
+{{{
+#!comment
  Toshio Endo, Kenjiro Taura, Kenji Kaneda, and Akinori Yonezawa::
  '''High Performance LU Factorization for Non-Dedicated Clusters'''[[br]]
  In ''4th IEEE/ACM International Symposium on Cluster Computing
  and the Grid, pp. 678-685, April 2004''
-
+}}}
+
+{{{
+#!comment
  Akihito Nagata, Naoki Kobayashi, and Akinori Yonezawa::
  '''Region-Based Memory Management for a Dynamically-Typed Language'''[[br]]
  In ''Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.229-245, 2004''
-
+}}}
+
+{{{
+#!comment
  Koichi Kodama, Kohei Suenaga, and Naoki Kobayashi::
  '''Translation of Tree-processing Programs into Stream-processing Programs based on Ordered Linear Type'''[[br]]
  In ''Proceedings of 2nd Asian Symposium on Programming Language and Systems (APLAS 2004), Springer LNCS 3302, pp.41-56, 2004''
-
+}}}
+
+{{{
+#!comment
  Reynald Affeldt and Naoki Kobayashi::
  '''Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes'''[[br]]
  In ''11th International Workshop on Expressiveness in Concurrency (EXPRESS'04), August 2004, London, UK''
-
+}}}
+
+{{{
+#!comment
  Reynald Affeldt and Naoki Kobayashi::
  '''A Coq Library for Verification of Concurrent Programs'''[[br]]
  In ''4th International Workshop on Logical Frameworks and Meta-languages (LFM'04), July 2004, Cork, Ireland''
-
+}}}
 = 2003 =
  Etsuya Shibayama and Akinori Yonezawa::