Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publication
Bisimulation for Labelled Markov Processes
Bisimulation for Labelled Markov Processes
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation
179(2), pages 163
193
2002