Categorical logic in models of concurrency
By: by Purandar Bhaduri.
Published: 1993
Language: eng
Number of pages: 78
Subjects: Categories (Mathematics); Logic, Symbolic and mathematical.
Notes: Computer-produced typeface.

Thesis (Ph. D.)--Washington State University, 1993.

Includes bibliographical references (leaves 72-78).

WSU:Another copy on microfilm, no. 7144.

WSU:"School of Electrical Engineering and Computer Science."