We now introduce an idealized concurrent programming language and provide its
semantics in precubical sets. A detailed presentation of this language can be
found in [1]}, in a variant which includes more realistic features, such
as memory and manipulation of values.
