Architectural Prototyping: From CCS to .Net

This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C♯ and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell.