Jérôme Feret
Jérôme Feret
Set of orthogonal patterns allows for the design of specific abstraction tailored to the formation of a given pattern. We should inspect the rhs of rules for cyclic patterns, and...
Let us say that I use the variable 'k' as the rate constant of several rules. It would be nice to have a way to plot the activity of 'k'...
As noticed by hmedina, causal flow compression is not satisfying for the rules of the form: `A(x~u),B() -> A(x~p),B() @ 0.0(1.)` Stories do not explain how A() and B() are...
There is currently no test that the result of the strong compression embeds in the initial causal trace. (see the example distributive.ka in test_suites/cflows/distributive) I think this can be avoided...
1) KaSa should use **LOC** everywhere when launching alarms. 2) KaSa frontend should connect alarms to locations in kappa files.
In core/symmetries/ Functions require sigs and counters_info, it would be much cleaner to take the full modelling environment (i.e. Model.t)
It would be better to use a format closer to simple operational semantics. Action should correspond to self-content atomic transformation of graphs + side-effects. (In particular, it requires an action...