[<<][staapl][>>][..]
Fri Aug 31 22:03:26 CEST 2007

CSL vs CTL

i talked myself into a pit.. what about "1 2 3 +". how can this be
seen as a CTL? only by making + operate on more than 2--tuples. this
means all arrows T_i -> T_j are also in T_{i+n} -> T_{j+n}



[Reply][About]
[<<][staapl][>>][..]