Distributed implementation of a process-algebra based programming language for embedded systems
Simon Mørk · Nordic journal of computing · 2001
This paper deals with software development for a particular class of embedded systems. A timed programming language is presented that retains most of the abstract concepts of a process algebra, yet restricts the problems of constructing actual implementations on embedded system platforms.The implementation is given in terms of a translation from the PMC programming language to a model of implementation platforms, called Imp.