مرکز منطقه ای اطلاع رساني علوم و فناوري - On the computational complexity of bisimulation, redux

Title of article :

On the computational complexity of bisimulation, redux

Author/Authors :

Faron Moller، نويسنده , , Scott Smolka، نويسنده , , Ji?? Srba، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

From page :

129

To page :

143

Keywords :

One-counter machines , Equivalence-checking , Automata , formal languages , Bisimulationequivalence , complexity , Model-checking

Journal title :

Information and Computation

Serial Year :

2004

Journal title :

Information and Computation

Record number :

262258

Link To Document :