LAA

Faster algorithm for bisimulation equivalence of normed context-free processes

Lasota, S (Warsaw)

Wednesday 05 July 2006, 12:15-12:30

Seminar Room 1, Newton Institute