메뉴 건너뛰기




Volumn 4, Issue 2, 2003, Pages 181-206

Simulation-based minimization

Author keywords

Minimization; Simulation

Indexed keywords

ISOMORPHISM; SIMULATION EQUIVALENCE; SIMULATION PREORDER; SPACE COMPLEXITY;

EID: 3042815539     PISSN: 15293785     EISSN: None     Source Type: Journal    
DOI: 10.1145/635499.635502     Document Type: Article
Times cited : (71)

References (16)
  • 3
    • 0029316495 scopus 로고    scopus 로고
    • Transformational design and implementation of new efficient solution to the ready simulation problem
    • BLOOM, B. AND PAIGE, R. 1996. Transformational design and implementation of new efficient solution to the ready simulation problem. In Science of Computer Programming. Vol. 24. 189-220.
    • (1996) Science of Computer Programming , vol.24 , pp. 189-220
    • Bloom, B.1    Paige, R.2
  • 4
    • 0009794409 scopus 로고
    • Minimal model generation
    • E. Clarke and R. Kurshan, Eds. Springer-Verlag, New York
    • BOUAJJANI, A., PEHNANDEZ, J.-C., AND HALBWACHS, N. 1990. Minimal model generation. In Computer-Aided Verification, E. Clarke and R. Kurshan, Eds. Springer-Verlag, New York, 197-203.
    • (1990) Computer-Aided Verification , pp. 197-203
    • Bouajjani, A.1    Pehnandez, J.-C.2    Halbwachs, N.3
  • 5
    • 85029439013 scopus 로고
    • Symbolic bisimulation minimization
    • G. V. Bochmann and D. K. Probst, Eds. Lecture Notes in Computer Science, Springer-Verlag, New York
    • BOUALI, A. AND DE SIMONE, R. 1992. Symbolic bisimulation minimization. In Proceedings of the 4th Conference on Computer-Aided Verification, G. V. Bochmann and D. K. Probst, Eds. Lecture Notes in Computer Science, vol. 663. Springer-Verlag, New York, 96-108.
    • (1992) Proceedings of the 4th Conference on Computer-Aided Verification , vol.663 , pp. 96-108
    • Bouali, A.1    De Simone, R.2
  • 7
    • 0002367651 scopus 로고
    • Synthesis of synchronization skeletons for branching time temporal logic
    • N.Y. Lecture Notes in Computer Science, Springer-Verlag, New York
    • CLARKE, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop Yorktown Heights, N.Y. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, New York.
    • (1981) Logic of Programs: Workshop Yorktown Heights , vol.131
    • Clarke, E.M.1    Emerson, E.A.2
  • 9
    • 84928591534 scopus 로고    scopus 로고
    • Bisimulation minimization in an automata-theoretic verification framework
    • FISLER, K. AND VARDI, M. 1998. Bisimulation minimization in an automata-theoretic verification framework. In Formal Methods in Computer-Aided Design (FMCAD). 115-132.
    • (1998) Formal Methods in Computer-Aided Design (FMCAD) , pp. 115-132
    • Fisler, K.1    Vardi, M.2
  • 10
    • 0028427381 scopus 로고
    • Model checking and modular verification
    • GRUMBERO, O. AND LONG, D. 1994. Model checking and modular verification. ACM Trans. Prog. Lang. Syst. 16, 3, 843-871.
    • (1994) ACM Trans. Prog. Lang. Syst. , vol.16 , Issue.3 , pp. 843-871
    • Grumbero, O.1    Long, D.2
  • 12
    • 84887498707 scopus 로고    scopus 로고
    • Simulation preorder on simple process algebras
    • Lecture Notes in Computer Science, Sringer-Verlag, New York
    • KUCERA, A. AND MAYR, R. 1999. Simulation preorder on simple process algebras. In International Colloquium on Automata, Languages and Programing. Lecture Notes in Computer Science, vol. 1644. Sringer-Verlag, New York.
    • (1999) International Colloquium on Automata, Languages and Programing , vol.1644
    • Kucera, A.1    Mayr, R.2
  • 16
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Lecture Notes in Computer Science, Springer-Verlag, New York
    • PARK, D. 1981. Concurrency and automata on infinite sequences. In Proceedings of the 5th GI-Conference on Theoretical Computer Science. Lecture Notes in Computer Science, vol. 104. Springer-Verlag, New York, pp. 167-183.
    • (1981) Proceedings of the 5th GI-Conference on Theoretical Computer Science , vol.104 , pp. 167-183
    • Park, D.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.