Joint action systems
action
service()
by client c; server s is when c.requesting && s.free do
slide
:
Specifying actions -- example