/-
Copyright (c) 2026 Sam Hart. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
-/
import Protocol.Basic
import Protocol.LocalType
import Protocol.Values
import Protocol.Environments
import Protocol.Coherence
import Protocol.Process
import Protocol.Typing
import Protocol.Semantics
import Protocol.Preservation
import Protocol.DeadlockFreedom
import Protocol.Monitor
import Protocol.Spatial
import Protocol.Determinism
import Protocol.Deployment
import Protocol.Simulation
import Protocol.Decidability
import Protocol.Classical
import Protocol.BufferBoundedness

/-! # Protocol

Async buffered multiparty session types with coherence invariant,
preservation, deadlock freedom, monitoring, and deployment.
-/
