Output details
11 - Computer Science and Informatics
Swansea University
Return to search
Output 0 of 0 in the submission
Output title
Compositional Modelling and Reasoning in an Institution for Processes and Data
Type
E - Conference contribution
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
2
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
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-