losa_ap Specification's authors: Giuliano Losa Original paper: Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, and Giuliano Losa. 2018. The Assignment Problem. In Proceedings of the 19th International Conference on Distributed Computing and Networking (ICDCN '18). ACM, New York, NY, USA, Article 14, 9 pages. Extended modules: FinSet, Nat, Seq Computation models: crashes Some properties checked with TLC: fairness, consistency, correctness, termination TLA+ files