RoutingLib

swMATH28638MaRDI QIDQ40352FDOQ40352

Author name not available (Why is that?)

Official website: https://github.com/MatthewDaggitt/agda-routing/tree/itp2018

Described by source

• An Agda formalization of Üresin \& Dubois' asynchronous fixed-point theory

Cited In (1)

• A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda

This page was built for software: RoutingLib