Operational semantics for process-based simulation languages. Part 2: µDemos (1994)

by G M Birtwistle, C Tofts
Venue:Trans. of The Society for Comp. Simulation