Published May 29, 2008
| Submitted
Report
Open
The representation of communication and concurrency
- Creators
- Milne, George J.
Abstract
A formal system is described within which we may represent the communication and concurrency features found in systems of interacting computer agents. This formal system may be used both as a model in which to represent the behaviour of existing systems of computing agents or as a language in which to program desired systems. The notion of acceptance semantics is introduced and it is in terms of this that we give meaning to programs constructed in our framework.
Additional Information
This research has been supported by the Science Research Council of the United Kingdom, the National Science Foundation under grant MCS-8011925 and the Air Force Office of Scientific Research under grant AFOSR-80-0274Attached Files
Submitted - TR-4088.pdf
Files
TR-4088.pdf
Files
(6.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3c364bd60ab018d2fbbb4cb6a6cb17ce
|
6.4 MB | Preview Download |
Additional details
- Eprint ID
- 27089
- Resolver ID
- CaltechCSTR:1980.4088-tr-80
- Science Research Council of the United Kingdom
- MCS-8011925
- NSF
- AFOSR-80-0274
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2008-05-29Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports
- Series Volume or Issue Number
- 1980.4088