Protocols -- Combining Timed Coordination Primitives and Probabilistic Tuple Spaces --