@misc{indiciaeb0d8ce14dd9f,
  title = {AMECOS: A Modular Event-based Framework for Concurrent Object Specification},
  author = {Timothé Albouy and Antonio Fernández Anta and Chryssis Georgiou and Mathieu Gestin and Nicolas Nicolaou and Junlang Wang},
  year = {2024},
  url = {https://arxiv.org/abs/2405.10057},
  note = {Source identifier: 2405.10057}
}