Title: On the regularity calculus and its role in distributed programming
Subjects: Programming (Mathematics), Rewriting systems (Computer science)