Stem ultrametr$ (all stems)

3 papers:

DLT-2013-Freivalds #automaton #finite #turing machine

Ultrametric Finite Automata and Turing Machines (RF), pp. 1–11.

TLCA-2013-SeveriV #modelling #source code

Completeness of Conversion between Reactive Programs for Ultrametric Models (PS, FJdV), pp. 221–235.

LICS-2011-KrishnaswamiB #semantics #source code

Ultrametric Semantics of Reactive Programs (NRK, NB), pp. 257–266.