Login / Signup
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.
Martin Steffen
Published in:
Theory and Practice of Formal Methods (2016)
Keyphrases
</>
small number
algebraic structure
formal semantics
formal language
data sets
logic programming
operational semantics
computer algebra