David B. Benson:
In Scott-Strachey Style Denotational Semantics, Parallelism Implies Nondeterminism.
267-275 BibTeX
Robert Hermann, Clyde Martin:
Lie and Morse Theory for Periodic Orbits of Vector Fields and Matrix Riccati Equations, I: General Lie-Theoretic Methods.
277-284 BibTeX
Volume 15,
Number 4,
December 1982
Francine Berman:
Semantics of Looping Programs in Propositional Dynamic Logic.
285-294 BibTeX
Donald B. Johnson:
A Priority Queue in Which Initialization and Queue Operations Take O(log log D) Time.
295-309 BibTeX