A coalgebraic treatment of conditional transition systems with upgrades
- Submitting institution
-
The University of Sheffield
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 7404
- Type
- D - Journal article
- DOI
-
10.23638/LMCS-14(1:19)2018
- Title of journal
- Logical Methods in Computer Science (LMCS)
- Article number
- -
- First page
- 1
- Volume
- 14
- Issue
- 1
- ISSN
- 1860-5974
- Open access status
- Compliant
- Month of publication
- February
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
I - Verification
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first and currently only paper to apply coalgebraic methods in analysing an adaptive software product line. It is shown how behavioural equivalence in theory of coalgebras characterises conditional bisimilarity. This research was supported by two DFG projects, BEMEGA (KO2185/7-1), COAX (MI717/5-1), and an ERC starting grant ProFoundNet (679127). It also contributed to the continuation of BEMEGA for a further three years.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -