It's "Operating Systems".
I kid you not.
It states that two event-traces n and n' are defined as equal, iff for all states of dataobjects z out of Z and all dataobjects d out of D, the relevant state-traces rho(d,z,n) and rho(d,z,n') are euqal.
Where a relevant state-trace rho(d,z,n) (starting state z) contains only such states of d where d was actually changed by a process-termination-event in the complete event-trace n.
Where a complete event-trace n contains all initiation and termination events of all processes of an interpreted process-system A.
Where the connection of all that and operating systems is more and more of a mystery to me...
-><-
Cardinal Tars Tarkas, KSC. |
