Towards Action-Refinement in Process Algebras - Luca Aceto; Matthew Hennessy (Inf. Comput., 1993)

Terse, Superterse, and Verbose Sets - Richard Beigel; William I. Gasarch; John Gill; James C. Owings (Inf. Comput., 1993)

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs - Moreno Falaschi; Giorgio Levi; Maurizio Martelli; Catuscia Palamidessi (Inf. Comput., 1993)

Content-Related Interval Queries on Object Histories - Seymour Ginsburg; Dan A. Simovici; Xiaoyang Sean Wang (Inf. Comput., 1993)

Order-Sorted Algebra Solves the Constructor-Selector, Multiple Representation, and Coercion Problems - José Meseguer; Joseph A. Goguen (Inf. Comput., 1993)

Limitations of the Program Memory and the Expressive Power of Dynamic Logics - Ilmir Kh. Musikaev; Michael A. Taitslin (Inf. Comput., 1993)

Distance-Dependent Distributed Directories - David Peleg (Inf. Comput., 1993)

Probabilistic Verification - Amir Pnueli; Lenore D. Zuck (Inf. Comput., 1993)

Inference of Finite Automata Using Homing Sequences - Ronald L. Rivest; Robert E. Schapire (Inf. Comput., 1993)

Kolgomorov Complexity and Hausdorff Dimension - Ludwig Staiger (Inf. Comput., 1993)