Characterising Concurrent Histories
- Submitting institution
-
University of Newcastle upon Tyne
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 213568-84859-1292
- Type
- D - Journal article
- DOI
-
10.3233/FI-2015-1224
- Title of journal
- Fundamenta Informaticae
- Article number
- -
- First page
- 21
- Volume
- 139
- Issue
- 1
- ISSN
- 0169-2968
- Open access status
- Compliant
- Month of publication
- July
- Year of publication
- 2015
- URL
-
http://dx.doi.org/10.3233/FI-2015-1224
- 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
-
3
- Research group(s)
-
A - Advanced Model-Based Engineering and Reasoning (AMBER)
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper introduces novel relational structures aimed at capturing intrinsic relationships between events involved in executions of concurrent systems. The new structures generalise causal partial orders by having the power to capture features such as mutual exclusion and synchronisation. This helps to represent reachability sets compactly and results in more efficient model checking. The paper was a major outcome of the EPSRC EP/K001698 project, and the Polish NSC 2013/09/D/ST6/03928 project. The results provided an underpinning for a novel semantical framework for concurrent behaviours introduced in “Step Traces”, Acta Inf. (2016, doi:10.1007/s00236-015-0244-z).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -