Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Fundam. Inform., pp. 465-512, 2008.
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
Full Text (Upload PDF)
PPT (Upload PPT)