Distributed Implementation of a Ccs-like Programming Language for Embedded Systems


We introduce a programming language for embedded systems. The language is based on the process algebra pmc which like ccs has concurrent composition of processes and synchronous point-to-point communication. Determinism and distributability are desirable, but contradictory properties. The programming language therefore contains operators that allow for both… (More)