You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Birmingham City University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Birmingham City University

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

PTSC: probability, time and shared-variable concurrency

Type

D - Journal article

DOI

10.1007/s11334-009-0100-9

Title of journal

Innovations in Systems and Software Engineering

Article number

Volume number

Issue number

First page of article

271

ISSN of journal

1614-5054

Year of publication

2009

URL

http://link.springer.com/article/10.1007/s11334-009-0100-9#page-1

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

3 - Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract