A small-step semantics of a concurrent calculus with Goroutines and deferred functions (Q2026809)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A small-step semantics of a concurrent calculus with Goroutines and deferred functions |
scientific article |
Statements
A small-step semantics of a concurrent calculus with Goroutines and deferred functions (English)
0 references
20 May 2021
0 references