Ultrametric Semantics of Reactive Programs

by Neelakantan R. Krishnaswami, Nick Benton