Circus
1 program
Added 2026-02-12T11:48:05Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit d4b5487865 · authored 2026-02-12T12:49:05+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Counter Process
Provenance: commit d4b5487865 · authored 2026-02-12T12:49:05+01:00 · agent claude-code · model sonnet · WebSearch disabled
channel input, output : Z
process Counter = begin
state CounterState = [count : Z]
Initial = [CounterState' | count' = 0]
Increment = [ΔCounterState | count' = count + 1]
GetCount = [ΞCounterState; out! : Z | out! = count]
• Initial ; μ X • (input?x → Increment ; X ⊓ output!count → GetCount ; X)
end