skip to content
 

Faster algorithm for bisimulation equivalence of normed context-free processes

Presented by: 
S Lasota [Warsaw]
Date: 
Wednesday 5th July 2006 - 12:15 to 12:30
Venue: 
INI Seminar Room 1
Abstract: 
http://www.games.rwth-aachen.de/History/PastEvents/cambridge06.html
Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons