Process Calculus - Graph View A family of formal approaches to modeling concurrent systems through algebraic operations on processes that communicate via message passing. View concept details Related ConceptsPetri Net State Machine Formal Methods Event-Driven Architecture Abstraction ← Back to full graph