Process Calculus help edit space_dashboard A mathematical framework for modeling concurrent and distributed systems as collections of interacting processes. ← Back to the Glossary