Skip to content

LAA

Seminar

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

Abstract

http://www.games.rwth-aachen.de/History/PastEvents/cambridge06.html

Presentation

[ps  ]

Back to top ∧