cancelpublished Quasi-synchronous communications and verification of distributed systems

status will change from published to submitted

validating...