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

Output details

11 - Computer Science and Informatics

Swansea University

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Compositional Modelling and Reasoning in an Institution for Processes and Data

Type

E - Conference contribution

DOI

10.1007/978-3-642-28412-0_16

Name of conference/published proceedings

Recent Trends in Algebraic Development Techniques

Volume number

7137

Issue number

First page of article

251

ISSN of proceedings

0302-9743

Year of publication

2012

URL

Number of additional authors

Additional information

<10> This work presents the first ever approach to compositional modeling and reasoning in a setting including both processes and data. This combination is found in UML, as well as in CSP-CASL and several other concurrent languages.

Interdisciplinary

Cross-referral requested

Research group

A - Theoretical Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract