The following pages link to Timothy G. Griffin (Q1791212):
Displaying 7 items.
- (Q1281497) (redirect page) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
- An Agda formalization of Üresin \& Dubois' asynchronous fixed-point theory (Q1791213) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- Pathfinding through Congruences (Q3007577) (← links)
- Increasing Bisemigroups and Algebraic Routing (Q3498410) (← links)
- A Model of Internet Routing Using Semi-modules (Q3651506) (← links)
