Volume 131, Number 1, 29 August 1994
: Term Graph Rewriting and Garbage Collection Using Ppfibrations.
: GSOS and Finite Labelled Transition Systems.
Volume 131, Number 2, 12 September 1994
Ernst L. Leiss
: Language Equations Over a One-Letter Alphabet with Union, Concatenation and Star: A Complete Solution.
: Join Sizes, urn Models and Normal Limiting Distributions.
: Randomization, Derandomization and Antirandomization: Three Games.
: Reachability is Decidable in the Numbers Game.
Dung T. Huynh
, Lu Tian
: A Note on the Complexity of Deciding Bisimilarity of Normed Unary Processes.