Formal Specification of Concurrent Systems

Chen, Marina C. and Mead, Carver A. (1982) Formal Specification of Concurrent Systems. Technical Report. California Institute of Technology. [CaltechCSTR:1982-5042-tr-82]

Full text available as:

	Other (Adobe PDF (1.8MB))
	Postscript - Requires a viewer, such as GhostView

Abstract

No Abstract.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	427
Deposited By:	Caltech Library System
Deposited On:	12 August 2002
Record Number:	CaltechCSTR:1982-5042-tr-82
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1982-5042-tr-82
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record