Action Systems, Unbounded Nondeterminism, and Infinite Traces
Morgan has described a correspondence between Back's action systems and the conventional failures-divergences model of Hoare's communicating sequential processes (CSP) formalism. However, the CSP failures-divergences model does not treat unbounded nondeterminism, although unbounded nondete...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1995.
|
| Subjects: | |
| Online Access: | Get fulltext |