The authors describe a formal translation from &mgr;Demos, the kernel of the process-based simulation language Demos, to Milner’s CCS process algebra. They call this translation a denotational semantics and claim that it simulates an operational semantics presented in earlier work. The wait-until construction and a conditional branching construction receive detailed attention, leading to a normal form for &mgr;Demos programs.

This paper will interest readers who are both familiar with CCS and interested in process-based simulation.