DavidStreader

[email protected]

Research into refinement of specification into code. With special interest in communicating concurrent systems, their semantics and transformation between them