: Loop products and loop-free products.
: On isomorphic realization of automata with α0-products.
: On a problem of Ádám concerning precodes assigned to finite Moore automata.
N. H. Chien
: EBE: a language for specifying the expected behavior of programs during debugging.
: Some remarks on the algorithm of Lucchesi and Osborn.
Vu Duc Thi
: Strong dependencies and s-semilattices.
: A finite axiomatization of flowchart schemes.
: Pure languages of regulated rewriting and their codings.
Dang Van Hung
, Elöd Knuth
: A noninterleaving semantics for communicating sequential processes: a fixed-point approach.
Boris B. Kloss
: On minimal autonomous partitions of directed graphs and some applications to automata theory.
Brian D. Bunday
, Esmaile Khorram
: The finite source queueing model for multiprogrammed computer systems with different CPU times and different I/O times.
: Nonlinear Parameter Estimation by Global Optimization - Efficiency and reliability.