Email Record: Architectures, languages and techniques for concurrent systems :