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

Output details

11 - Computer Science and Informatics

University of Cambridge

Return to search Previous output Next output

Output 24 of 184 in the submission

Article title

Causal Message Sequence Charts

Type

D - Journal article

DOI

Title of journal

Theoretical Computer Science

Article number

Volume number

410

Issue number

First page of article

4094

ISSN of journal

0304-3975

Year of publication

2009

URL

Number of additional authors

Additional information

<10> Theoretical Computer Science is one of the top journals in the area. This paper extends decidability results for a new class of distributed system models which make it possible to model-check unbounded sliding-windows protocols.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract