Cited By
View all- Eichler CDrira KMonteil TStolf PHaddad HWainwright RChbeir R(2018)Correctness by construction and style preserving reconfigurations of system of systemsProceedings of the 33rd Annual ACM Symposium on Applied Computing10.1145/3167132.3167312(1680-1686)Online publication date: 9-Apr-2018
- Gomes VKleppmann MMulligan DBeresford A(2017)Verifying strong eventual consistency in distributed systemsProceedings of the ACM on Programming Languages10.1145/31339331:OOPSLA(1-28)Online publication date: 12-Oct-2017
- Boussabbeh MTounsi MMosbah MKacem A(2016)Formal Proofs of Termination Detection for Local Computations by Refinement-Based CompositionsProceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 967510.1007/978-3-319-33600-8_12(198-212)Online publication date: 23-May-2016