Entry tags:
Interval Tree Clocks: A Logical Clock for Dynamic Systems
http://gsd.di.uminho.pt/members/cbm/ps/itc2008.pdf
I still have a strong suspicion that this application of temporal logic, together with temporal logic, can be pretty successfully, and much easier, explained in topos logic.
I still have a strong suspicion that this application of temporal logic, together with temporal logic, can be pretty successfully, and much easier, explained in topos logic.