[sv-ac] attaching subroutines to sequences

All,

we decide to partition the disscussion into two parts:
Given an action in a property, and a computation,
1.  In which cycles should the action be executed?
2.  Given that an action is exected in a specific cycle,
     how many copies of the action should be executed?

We did some work on the first item. Attached a document
that presents the problem, and two different solutions. This is
not a proposal yet, but  should be a base for discussion.

The document is also on the mentis database.

Doron