concurrency - Concepts

Explore concepts tagged with "concurrency"

Total concepts: 2

Concepts

Process Calculus - A family of formal approaches to modeling concurrent systems through algebraic operations on processes that communicate via message passing.
Petri Net - A mathematical modeling language for distributed systems that uses places, transitions, and tokens to represent concurrent processes and resource flow.