pi-calculus [e74a8828]
analogous to lambda calculus, but for concurrent systems, originally formulated by judea pearl
Search titles and text
Search: ↑/↓ or Ctrl N/P, Enter to open. Shortcuts pause while typing.
analogous to lambda calculus, but for concurrent systems, originally formulated by judea pearl