Material Categories: Desarrollo de Software Redes digitales
Association for Computing Machinery: ACM Transactions on Programming Languages and Systems: Table of Contents Table of Contents for ACM Transactions on Programming Languages and Systems. List of articles from both the latest and ahead of print issues.
- Proving Correctness of Parallel Implementations of Transition System Modelsby Frank de BoerEinar Broch JohnsenViolet Ka I PunSilvia Lizeth Tapia Tarifa on September 17, 2024 at 11:52 am
ACM Transactions on Programming Languages and Systems, Volume 46, Issue 3, Page 1-50, September 2024. <br/>
ACM Transactions on Programming Languages & Systems