  Computability logic(CoL) is a powerful computational model. In this paper, we
show that CoL naturally supports multi-agent programming models where resources
(coffee for example) are involved. To be specific, we discuss an implementation
of the Starbucks based on CoL (CL2 to be exact).
