Published January 1, 1982
| public
Report
Open
Formal Specification of Concurrent Systems
- Creators
- Chen, Marina C.
-
Mead, Carver A.
Abstract
No Abstract.
Files
5042_TR_82.pdf
Files
(3.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:92959a0e1142f2e9b671a8c8ade2f793
|
1.8 MB | Preview Download |
|
md5:ee48b024a0d36f2ea9c03ae687f0a163
|
2.1 MB | Download |
Additional details
- Eprint ID
- 27016
- Resolver ID
- CaltechCSTR:1982-5042-tr-82
- Created
-
2002-08-12Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports