You can see a pretty thorough treatment of these ideas in Ptolemy II, at http://ptolemy.eecs.berkeley.edu/ptolemyII/. Ptolemy II offers a variety of underlying computation models to execute the "program graph".
(Someone else just posted this information, but that comment was auto-killed.)