Rodrigues N, Barbosa LS.? 2005.??Architectural Prototyping: From CCS to Net. Electronic Notes in Theoretical Computer Science. 130:151?167.