1. Preface

   • P. -L. Curien
   • M. Hennessy
   • H. Lin

   Special Section Papers Pages: 481 - 481

2. Playing games and proving properties of concurrent systems

   • Colin Stirling

   Special Section Papers Pages: 482 - 482

3. Some notes on graph automata, tiling systems and partition logic

   • Shen Enshao

   Special Section Papers Pages: 483 - 489

4. Process Calculi for describing distributed systems

   • Matthew Hennessy

   Special Section Papers Pages: 490 - 490

5. Simply-typed underdeterminism

   • Ewen Denney

   Special Section Papers Pages: 491 - 508

6. Calculi for concurrent processes

   • Gérard Boudol

   Special Section Papers Pages: 509 - 509

7. Reaction graph

   • Fu Yuxi

   Special Section Papers Pages: 510 - 530

8. An invitation to friendly testing

   • David de Frutos-Escrig
   • Luis Llana-Díaz
   • Manuel Núñez

   Special Section Papers Pages: 531 - 545

9. A crash course in λ-calculus

   • G. Huet

   Special Section Papers Pages: 546 - 546

10. Another definition of order-sorted algebra

    • He Ziqiang

    Special Section Papers Pages: 547 - 551

11. An overview of Duration Calculus

    • Zhou Chaochen

    Special Section Papers Pages: 552 - 552

12. Formal derivation of graph algorithmic programs using partition-and-recur

    • Xue Jinyun

    Special Section Papers Pages: 553 - 561

13. Explicit substitutions: A short survey

    • Pierre-Louis Curien

    Special Section Papers Pages: 562 - 563

14. Dependent type system with subtyping (I) type level transitivity elimination

    • Chen Gang

    Special Section Papers Pages: 564 - 578

15. Structures definable in polymorphism

    • Fu Yuxi

    Regular Papers Pages: 579 - 587

16. Verifying automata specification of distributed probabilistic real-time systems

    • Luo Tiegeng
    • Chen Huowang
    • Qi Zhichang

    Regular Papers Pages: 588 - 596

17. Program construction by verifying specification

    • Lin Hong
    • Chen Guoliang

    Regular Papers Pages: 597 - 607

18. Experimental study on strategy of combining SAT algorithms

    • Lu Weifeng
    • Zhang Yuping

    Regular Papers Pages: 608 - 614

19. ρ Graph: Rendezvous ordering graph for Ada concurrent programs

    • Wang Zhenyu

    Regular Papers Pages: 615 - 622