An abstract state machine semantics for discrete event simulation

Gerd Wagner. An abstract state machine semantics for discrete event simulation. In 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017. pages 762-773, IEEE, 2017. [doi]

Abstract

Abstract is missing.