Coordination
Kind: domain
Record: algorithms-domain:coordination
Canonical: Algorithms
The Coordination domain holds 4 algorithm contracts.
Listed in Algorithm domains, after Context verification and before Test coverage.
Contracts
Linked from
Coordination
Every algorithm contract in this domain is listed with its position on the derivation loop, its intent and invariant, the flow it walks and its productions as a grammar. Each record also shows what it composes and is composed by, which forces and principles it answers to, what grounds it and what it grounds, and an exemplar where the record carries one. The diagram shows what composes what inside the domain.
Relations diagram
flowchart LR
n_convergence_walk["Convergence Walk"]
n_invocation_join["Invocation Join"]
n_duplicate_disposition_walk["Duplicate Disposition Walk"]
n_lifetime_resolution["Lifetime Resolution"]Convergence Walk
- Domain: coordination
- Tier: process
- Stage: commit
- Axis: representation
- Math type: computation
- Yields: procedure
Invocation Join
- Domain: coordination
- Tier: process
- Stage: derive
- Axis: reasoning
- Math type: logic
- Yields: boolean
Duplicate Disposition Walk
- Domain: coordination
- Tier: process
- Stage: derive
- Axis: reasoning
- Math type: set-theory
- Yields: set | boolean
Lifetime Resolution
- Domain: coordination
- Tier: process
- Stage: see
- Axis: analysis
- Math type: set-theory
- Yields: set