Conflict-Tolerant Features
Abstract elided by the publisher.
Related papers
- A fault-tolerant programming model for distributed interactive applications OOPSLA 2019
- Using decision rules for solving conflicts in extended feature models SLE 2015
- Towards an energy estimator for fault tolerance protocols PPoPP 2013
- A search-based and fault-tolerant approach to concurrent model synchronisation SLE 2020
- Hamsaz: replication coordination analysis and synthesis POPL 2019
- On the Complexity of Checking Consistency for Replicated Data Types CAV 2019
- SWIFT: Software Implemented Fault Tolerance CGO 2005
- FHJ: A Formal Model for Hierarchical Dispatching and Overriding ECOOP 2018