Toward rigorous design of domain-specific distributed systems.

Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman

Browse the full ICSE paper archive.