Moment Semantics for Reversible Rule-Based Systems.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Browse the full RC paper archive.