Rho-Calculus

help edit space_dashboard

A mathematical foundation for concurrent computation where programs are treated as asynchronous processes that execute in parallel.

← Back to the Glossary