Playing games and proving properties of concurrent systems Colin Stirling Special Section Papers Pages: 482 - 482
Some notes on graph automata, tiling systems and partition logic Shen Enshao Special Section Papers Pages: 483 - 489
Process Calculi for describing distributed systems Matthew Hennessy Special Section Papers Pages: 490 - 490
An invitation to friendly testing David de Frutos-EscrigLuis Llana-DíazManuel Núñez Special Section Papers Pages: 531 - 545
Formal derivation of graph algorithmic programs using partition-and-recur Xue Jinyun Special Section Papers Pages: 553 - 561
Dependent type system with subtyping (I) type level transitivity elimination Chen Gang Special Section Papers Pages: 564 - 578
Verifying automata specification of distributed probabilistic real-time systems Luo TiegengChen HuowangQi Zhichang Regular Papers Pages: 588 - 596
Program construction by verifying specification Lin HongChen Guoliang Regular Papers Pages: 597 - 607
Experimental study on strategy of combining SAT algorithms Lu WeifengZhang Yuping Regular Papers Pages: 608 - 614
ρ Graph: Rendezvous ordering graph for Ada concurrent programs Wang Zhenyu Regular Papers Pages: 615 - 622