Someone may want to join a conference and simultaneously make a bid, but not
require to hear any of the conference, until the floor of that bid manifests
itself.
<#1295#>Wait-Till-Turn<#1295#>
u? : P
b? : Bid
FLOOR
ASIDE
QUEUE-BIDS
ALLOWED
u?
users
asides' = asides
floor' = floor
users' = users
queue' =
queue
{
b?
}
by+
It should be noted that unsuccessful operations have not been specified (i.e.
error handling) for reasons of brevity.