1995
The difference between splitting in n and n + 1
Publication
Publication
It is established that durational and structural aspects of actions can in general not be modeled in interleaving semantics, even when a time-consuming action is represented by a pair of instantaneous events denoting its start and finish. By means of a series of counterexamples it is shown that, for any $n$, it makes a difference whether actions are split in $n$ or in $n+1$ parts.
| Additional Metadata | |
|---|---|
| , , | |
| , | |
| CWI | |
| Department of Computer Science [CS] | |
|
van Glabbeek, R., & Vaandrager, F. (1995). The difference between splitting in n and n + 1. Department of Computer Science [CS]. CWI. |
|