1

Matthew Hennessy, Algebraic theory of processes, MIT Press, Cambridge, MA, 1988

2

William P. Coleman. Computational logic of network processes. In Martin D. Fraser, editor, Advances in Control Networks and Larqe Scale Parallel Distributed Processin9 Models, Ablex Publishing Cmnpany, 1990. In press.

3

William P. Coleman, David P. Sanford, and Andrea De Gae~ano. Syntax and semantics of languages for medical information processing. In S~ren Buus, editor, 15th Annual Northeast Bdoenqmeerdnq Conference, pages 189-190, IEEE, 1989.

4

William P. Coleman. Models of COlnpUta~ionM processes. Journal of S~mbolic Loqic, 55(1):437, March 1990. (Abstract of talk presented at Spring Meeting of the Association for Symbolic Logic, 1989. Full paper in progress.).

5

C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985

6

Woffgang Reisig. Petri Nets. Springer-Verlag, Berlin, 1985.

7

Samuel Eilenberg, Automata, Languages, and Machines, Academic Press, Inc., Orlando, FL, 1974

8

Samuel Eilenberg, Automata, Languages, and Machines, Academic Press, Inc., Orlando, FL, 1976

9

Saunders Mac Lane. (7..ate~ories for the Workin~ Mathematician. Springer-Verlag, New York, 1971.

10

Michael Burr and Charles Wells. C, atefor~ Theorp for Computin9 Science. Prentice Hall, New York, 1990.

11

Peter Freyd and Andre ~edrov. C. ate~ories, Alleqories. North Holland, Amsterdam, 1990.

12

Robert Goldblat~. Topoi: The Cate~orial Analysis of Lo~tic. North-Holland Publishing Company, Amsterdam, revised edit;ion, 1984.

13

B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge Universigy Press, Cambridge, UK~ 1990.

14

Ralph N. MeKenzie, George F. McNnlty, a.nd Walter F. Taylor. Algebras, Lattices~ and Varieties. Volume I, Wadswor(;h and Brooks Cole, Mon~;erey, CA, 1987.

William P. Coleman, Logical models of objects and of processes, Proceedings of the 24th annual symposium on Simulation, p.276-282, April 1991, New Orleans, Louisiana, United States

William P. Coleman: colleagues