Slightly better expression of constraints

This commit is contained in:
Crista Lopes
2013-12-27 08:09:58 -08:00
parent cc02ee364a
commit 392f2f33b8

View File

@@ -3,10 +3,12 @@ Style #16
Constraints:
- Existence of one or more data spaces where processes store and
- Existence of one or more units that execute concurrently
- Existence of one or more data spaces where concurrent units store and
retrieve data
- Existence of one or more processes that execute concurrently
- No direct data exchanges between the concurrent units, other than via the data spaces
Possible names: