1000-9000
1998 Issue 6
Program Constructionby Verifying Specification
Lin Hong;Chen Guoliang
Lin Hong;Chen Guoliang
..............page:597-607
Reaction Graph
Fu Yuxi
Fu Yuxi
..............page:510-530
an overview of duration calculus
Zhou Chaochen
Zhou Chaochen
..............page:552
a crash course in -calculus
g.huet;
g.huet;
..............page:546
ρ Graph: Rendezvous Ordering Graph forAda Concurrent Programs
wang Zhenyu E-mail: zywang @ wuh an. cetin. net. cn
wang Zhenyu E-mail: zywang @ wuh an. cetin. net. cn
..............page:615-622
playing games and proving properties ofconcurrent systems
colinstirling;
colinstirling;
..............page:482
an invitation to friendly testing
David de Frutos-Escrig;Luis Liana-Diaz;Manuel Nunez E-mail:{defrutos;llana;manuelnu}@eucmax.sim.umc.es
David de Frutos-Escrig;Luis Liana-Diaz;Manuel Nunez E-mail:{defrutos;llana;manuelnu}@eucmax.sim.umc.es
..............page:531-545
explicit substitutions: a short survey
pierre-loutscurien;
pierre-loutscurien;
..............page:562-563
..............page:481
Verifying Automata Specification of Distributed Probabilistic Real-Time Systems
Luo Tiegeng;Chen Huowang;Wang Bingshan;Wang Ji;Gong Zhenghu and Qi Zhichang
Luo Tiegeng;Chen Huowang;Wang Bingshan;Wang Ji;Gong Zhenghu and Qi Zhichang
..............page:588-596
Some Notes on Graph Automata, TilingSystems and Partition Logic
Shen Enshao E-mail: esshen@mail.sjtu.edu.cn
Shen Enshao E-mail: esshen@mail.sjtu.edu.cn
..............page:483-489
calculi for concurrent processes
gerardboudol;
gerardboudol;
..............page:509
..............page:579-587
Simply-typed Underdeterminism
Ewen Denney E-mail: ewd@dcs.ed.ac.uk
Ewen Denney E-mail: ewd@dcs.ed.ac.uk
..............page:491-508
Experimental Study on Strategy of CombiningSAT Algorithms
Lu Weifeng;Zhang Yuping
Lu Weifeng;Zhang Yuping
..............page:608-614
another definition of order-sorted algebra
He Ziqiang
He Ziqiang
..............page:547-551
process calculifor describing distributed systems
matthewhennessy;
matthewhennessy;
..............page:490
..............page:564-578
..............page:553-561