rate_independence_06.bc 127 Bytes
Newer Older
1
2
3
4
5
6
a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c.
e=>f.
prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').