A Coalgebraic Dijkstra Algorithm (Invited Talk).

Takahiro Sanada, Yov Montacute, Kittiphon Phalakarn, Ichiro Hasuo

Browse the full CONCUR paper archive.