Logical models of objects and of processes

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Logical models of objects and of processes

Full text

Pdf (731 KB)

Source

Annual Simulation Symposium archive
Proceedings of the 24th annual symposium on Simulation table of contents

New Orleans, Louisiana, United States

Pages: 276 - 282

Year of Publication: 1991

ISBN:0-8186-2169-9

Also published in ...

Author

William P. Coleman

MIEMSS, UMAB; Baltimore, MD and Department of Mathematics, UMBC; Baltimore, MD

Sponsor

SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

IEEE Computer Society Press Los Alamitos, CA, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 8, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Michael Barr , Charles Wells, Category theory for computing science, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	2	William P. Coleman, Aspects of computation, Proceedings of the 19th annual conference on Computer Science, p.71-77, April 1991, San Antonio, Texas, United States [doi>10.1145/327164.327210]
	3	W. P. Coleman. Computational logic of network processes. In M. D. Fraser, editor, Advances in Control Networks and Large Scale Parallel Distributed Processing Models, Ablex Publishing Company, 1990.
	4	W. P. Coleman. A logic for cognitive modeling: interim report. In Artificial Intelligence and Simulation topical conference of the Simulation Multiconference, 1991. In press.
	5	W. P. Coleman. Logical modeling for development of neural prosthesis, II: synthesis of motor programs. In 4th International Conference on Industrial ~ Engineering Applications of Artificial Intelligence and Expert Systems, 1991. In press.
	6	B. Davey and H. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990.
	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	P. Freyd and A. ~edrov. Categories, Allegories. North Holland, Amsterdam, 1990.
	10	R. Goldblatt. Topoi: The Categorial Analysis of Logic. North-Holland Publishing Company, Amsterdam, revised edition, 1984.
	11	Matthew Hennessy, Algebraic theory of processes, MIT Press, Cambridge, MA, 1988
	12	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	13	P. Johnstone. Stone Spaces. Cambridge University Press, Cambridge, UK, 1982.
	14	S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, New York, 1971.
	15	R. N. McKenzie, G. F. McNulty, and W. F. Taylor. Algebras, Lattices, and Varieties. Volume I, Wadsworth and Brooks Cole, Monterey, CA, 1987.
	16	W. Reisig. Petri Nets. Springer-Verlag, Berlin, 1985.
	17	Steven Vickers, Topology via logic, Cambridge University Press, New York, NY, 1989