TY - RPRT TI - An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language AU - Shucai Yao AU - Emil Sekerinski PY - 2025 DO - 10.4204/eptcs.420.5 UR - https://arxiv.org/abs/2505.20850 ID - 2505.20850 ER -