Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata

Fundam. Inform., pp. 465-512, 2008.

Cited by: 3|Bibtex|Views0
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments