The Difference between Splitting innandn+1

It is established that durational and structural aspects of actions can in general not be modeled in standard interleaving semantics, even when a time-consuming action is represented by a pair of instantaneous actions denoting its start and finish. By means of a series of counterexamples it is shown that, for anyn, it makes a difference whether actions are split innor inn+1 parts.

Authors

• Rob van Glabbeek
• Frits Vaandrager

Keywords

No keywords are indexed for this paper.