Relating operational and denotational descriptions of [pi]Demos

Graham M. Birtwistle, Chris M. N. Tofts. Relating operational and denotational descriptions of [pi]Demos. Simulation Modelling Practice and Theory, 5(1):1-33, 1997. [doi]

Abstract

Abstract is missing.