Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability

Sion, S. I., April, A., Zhang, K., Cabezas, M. V., & Abran, A. (2026). Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability. IEEE Access. https://doi.org/10.1109/ACCESS.2026.3700864

@article{sion2026enforcing,
  title = {Enforcing Global Usage Constraints in Distributed Systems: A Formal Model of Directed Traceability},
  author = {Sion Israel Sion and Alain April and Kaiwen Zhang and Mónica Villavicencio Cabezas and Alain Abran},
  journal = {IEEE Access},
  year = {2026},
  doi = {10.1109/ACCESS.2026.3700864}
}