Abstract
This paper introduces branching cells as elementary units of independent choices in the model of Asymmetric Event Structures (AES), extending a previous work on branching cells for Prime Event Structures. Branching cells consist of subAES of the surrounding AES. Their maximal configurations are shown to tile any maximal configuration of the surrounding AES in a dynamic way.Branching cells for AES are developed in order to allow the analysis of an optimization procedure in the context of QoS management of web services, presented in a companion paper. Other applications of branching cells include the ability to add a probabilistic layer to AES in a natural fashion where concurrency meets probabilistic independence of choices in distinct and parallel branching cells.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
