Littschwager, N. (CSE) – A Proposal for Characterizing Replicated Systems and Emulators
Simulation is a coinductive proof technique to assert the behavioral equivalence of computing systems that has seen fruitful application in distributed systems, concurrent process calculi, and programming languages, since the […]