
TABLE OF CONTENTS
Issue No. 03 - May (vol. 4)
ISSN: 0098-5589
Papers
IEEE Computer Society (PDF)
pp. c2
Guest Editorial (PDF)
pp. 153
P.A. Bernstein , Department of Computer Science, Harvard University, Cambridge, MA, and the Computer Corporation of America
pp. 154-168
Analysis of Real-Time Systems by Data Flowgraphs (Abstract)
U.R. Kodres , Department of Computer Science, Naval Postgraduate School
pp. 169-178
Testing Software Design Modeled by Finite-State Machines (Abstract)
T.S. Chow , Bell Laboratories
pp. 178-187
Program Complexity and Programmer Productivity (Abstract)
E.T. Chen , Computer Science Division, The Travelers Insurance Companies
pp. 187-194
Network: A Multiprocessor Program (Abstract)
P.B. Hansen , Department of Computer Science, University of Southern California
pp. 194-199
The Logic of Computer Programming (PDF)
Z. Manna , Department of Applied Mathematics, Weizmann Institute of Science
pp. 199-229
Reliable Resource Allocation Betvveen Unreliable Processes (Abstract)
S. Kumar Shrivastava , Computing Laboratory, University of Newcastle upon Tyne
pp. 230-241
Software Descriptions with Flow Expressions (Abstract)
A.C. Shaw , Department of Computer Science, University of Washington
pp. 242-254
Critical Load Factors in Two-Processor Distributed Systems (Abstract)
H.S. Stone , Department of Electrical and Computer Engineering, University of Massachusetts
pp. 254-258
Information for Authors (PDF)
pp. 259
Information about the Society (PDF)
pp. 259
IEEE Computer Society Publications (PDF)
pp. 259
Advance Program Announcement (PDF)
pp. 259