Andrius Velykis

Concurrent Refinement Algebra and Rely Quotients

by Julian Fell 📧, Ian J. Hayes 📧 and Andrius Velykis 🌐