Return to Article Details Type-driven Development of Concurrent Communicating Systems Download Download PDF