Volume 10,
Number 1,
January 1988
- Barbara G. Ryder, Marvin C. Paull:
Incremental Data-Flow Analysis.
1-50 BibTeX
- Gregory R. Andrews, Ronald A. Olsson, Michael H. Coffin, Irving Elshoff, Kelvin D. Nilsen, Titus D. M. Purdin, Gregg M. Townsend:
An Overview of the SR Language and Implementation.
51-86 BibTeX
- Wim H. Hesselink:
A Mathematical Approach to Nondeterminism in Data Types.
87-117 BibTeX
- Raymond T. Boute:
System Semantics: Principles, Applications, and Implementation.
118-155 BibTeX
- Joylyn Reed, Raymond T. Yeh:
Specification and Verification of Liveness Properties of Cyclic, Concurrent Processes.
156-177 BibTeX
- Sandra L. Murphy, A. Udaya Shankar:
A Note on the Drinking Philosophers Problem.
178-188 BibTeX
Volume 10,
Number 2,
April 1988
Volume 10,
Number 3,
July 1988
Volume 10,
Number 4,
October 1988
Copyright © Sun May 17 00:30:19 2009
by Michael Ley (ley@uni-trier.de)