1 paper · 1 filter
Chase Ford, Stefan Milius, Lutz Schröder
Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation to coarse-grained ones…