Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata

Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based system, we might wish to limit interleaving to force the inputs to a method to arrive together in order. InWeb services, the arrival of XML messages consisting of multipl...More