Skip to content
#

causal-ordering

Here are 15 public repositories matching this topic...

Graded multiparty session / choreographic types in Agda, combining echo loss-grades with epistemic warrants. The keystone K-CUT (grading and transport commute with endpoint projection) is machine-checked, --safe --without-K, for the finite binary-choice plain-merge fragment plus asynchrony. Recursion, full merge, delegation open.

  • Updated Nov 1, 2026
  • Agda

Add this topic to your repo

To associate your repository with the causal-ordering topic, visit your repo's landing page and select "manage topics."

Learn more