Joint action systems

 


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