Output details
11 - Computer Science and Informatics
Birmingham City University
PTSC: probability, time and shared-variable concurrency
<10> This paper presents results of collaborative research with researchers in China and the UK. In this work, concurrency, probability, and time are combined in a single model, using shared-variable communication. Probability is introduced in nondeterministic choice, guarded choice, and parallel composition, using a UTP-style (Unified Theories of Programming) approach. An operational semantics is formalized and a set of algebraic laws are explored. A bisimulation approach is adopted. More practically, an animator for the operational semantics has been implemented. The approach has subsequently proved adaptable to more practical examples, such as web services. It has been adopted by researchers in Singapore.