A timeless model for the verification of quasi-periodic distributed systems.

Maryam Dabaghchian, Zvonimir Rakamaric

Browse the full MEMOCODE paper archive.