The P Programming Language: Formal modeling and analysis of distributed systems | Heykuki News