Differences
This shows you the differences between two versions of the page.
Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:xtt2 [2008/12/22 16:15] wojnicki entry points comment |
hekate:xtt2 [2019/06/27 15:49] (current) |
A table provides a //visual// representation of rules, as below. | A table provides a //visual// representation of rules, as below. |
| |
{{xttp-table-new.png|XTT table new format}} | {{xttp-table-new.png|XTT table new format}} FIXME |
| |
Rules in the table are interpreted one by one in a given way (see [[hekate:xtt2#Inference]]), this is the Table Inference. | Rules in the table are interpreted one by one in a given way (see [[hekate:xtt2#Inference]]), this is the Table Inference. |
* communication (comm) (S <-> E) | * communication (comm) (S <-> E) |
Arrows indicate the System/Environment interaction. | Arrows indicate the System/Environment interaction. |
| |
| FIXME: iw: what's happened to ''ro, rw, wo, state'' classes? |
| |
Discuss ideas here: [[hekatedev:xtt2#Attribute Classes]]. | Discuss ideas here: [[hekatedev:xtt2#Attribute Classes]]. |