The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 10 - October (vol. 13)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

Towards a General Concurrency Control Algorithm for Database Systems (Abstract)

A.A. Farrag , Department of Mathematics and Computing Science, Dalhousie University
pp. 1073-1079

Interactive State-Space Analysis of Concurrent Systems (PDF)

E.T. Morgan , Department of Information and Computer science, University of California
pp. 1080-1091

A Comprehensive Model for the Design of Distributed Computer Systems (Abstract)

H.K. Jain , School of Business Administration, the University of Wisconsin
pp. 1092-1104

Automated Analysis of Discrete Communication Behavior (Abstract)

K. Rea , Bell Northern Research, 3 Place du Commerce
pp. 1115-1126

Isomorphisms Between Petr Nets and Dataflow Graphs (PDF)

K.M. Kavi , Department of Computer Science Engineering, University of Texas
pp. 1127-1134

On the Reliability of the IBM MVS/XA Operating System (Abstract)

S. Mourad , Center for Reliable Computing, Computer Systems Laboratory, Departments of Electrical Engineering and Computer Science, Stanford University, Stanford, CA 94305, and Santa Clara University
pp. 1135-1139

The Computer Society (PDF)

pp. 1139
91 ms
(Ver )