Specification, Synthesis and Simulation of Transactor Processes