alice.adb

task Alice is
end
task body Alice is
begin
	loop
		Yard.Request;
		Walk_Dog;
		Yard.Release;
	end loop
end Alice;

task Bob is
end
task body Bob is
begin
	loop
		Yard.Request;
		Walk_Dog;
		Yard.Release;
	end loop
end Bob;

task Yard is
	entry Request;
	entry Release;
end
task body Yard is
begin
	loop
		accept Request;
		accept Release;
	end loop
end Yard;