1. Distributed memory implementation of KLIC

   • Kazuaki Rokusawa
   • Akihiko Nakase
   • Takashi Chikayama

   Regular Papers Pages: 261 - 280

2. A common intermediate language and its use in partitioning concurrent declarative programs

   • Z. M. Ariola
   • B. C. Massey
   • E. Tick

   Regular Papers Pages: 281 - 315

3. Verifying local stratifiability of logic programs and databases II

   • Yi-Dong Shen

   Regular Papers Pages: 317 - 341

4. Deriving failures models for nonuniform concurrency from structured operational semantics

   • Eiichi Horita

   Regular Papers Pages: 343 - 389