We use cookies to improve your experience with our site.
Advanced Search

Playing Games and Proving Properties ofConcurrent Systems
Colin Stirling
1998, 13(6): 482.
Abstract
Some Notes on Graph Automata, TilingSystems and Partition Logic
Shen Enshao
1998, 13(6): 483-489.
Abstract
Process Calculifor Describing Distributed Systems
Matthew Hennessy
1998, 13(6): 490.
Abstract
Simply-typed Underdeterminism
Ewen Denney
1998, 13(6): 491-508.
Abstract
Calculi for Concurrent Processes
Gerard Boudol
1998, 13(6): 509.
Abstract
Reaction Graph
Fu Yuxi
1998, 13(6): 510-530.
Abstract
An invitation to Friendly Testing
David de Frutos-Escrig, Luis Liana-Diaz, Manuel Nunez
1998, 13(6): 531-545.
Abstract
A Crash Course in λ-Calculus
G.Huet
1998, 13(6): 546.
Abstract
Anothr Definition of Order-Sorted Algebra
He Ziqiang
1998, 13(6): 547-551.
Abstract
An Overview of Duration Calculus
Zhou Chaochen
1998, 13(6): 552.
Abstract
Formal Derivation of Graph AlgorithmicPrograms Using Partition-and-Recur
Xue Jinyun
1998, 13(6): 553-561.
Abstract
Explicit Substitutions: A Short Survey
Pierre-Louts Curien
1998, 13(6): 562-563.
Abstract
Dependent Type System with Subtyping (I)Type Level Transitivity Elimination
Chen Gang
1998, 13(6): 564-578.
Abstract
Structures Definable in Polymorphism
Fu Yuxi
1998, 13(6): 579-587.
Abstract
Verifying Automata Specification of Distributed Probabilistic Real-Time Systems
Luo Tiegeng, Chen Huowang, Wang Bingshan, Wang Ji, Gong Zhenghu, Qi Zhichang
1998, 13(6): 588-596.
Abstract
Program Constructionby Verifying Specification
Lin Hong, Chen Guoliang
1998, 13(6): 597-607.
Abstract
Experimental Study on Strategy of CombiningSAT Algorithms
Lu Weifeng, Zhang Yuping
1998, 13(6): 608-614.
Abstract
ρ Graph: Rendezvous Ordering Graph forAda Concurrent Programs
wang Zhenyu
1998, 13(6): 615-622.
Abstract