Research into refinement of specification into code. With special interest in communicating concurrent systems, their semantics and transformation between them
Popular repositories Loading
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
