메뉴 건너뛰기




Volumn 297, Issue 1-3, 2003, Pages 337-354

Undecidable problems in unreliable computations

Author keywords

Counter machines; Decidability; Lossy counter machines

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; PETRI NETS; PROBLEM SOLVING;

EID: 0037287840     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00646-1     Document Type: Conference Paper
Times cited : (110)

References (30)
  • 1
    • 84863933189 scopus 로고    scopus 로고
    • On-the-fly analysis of systems with unbounded, lossy fifo channels
    • 10th Internat. Conf. on Computer Aided Verification (CAV'98) Berlin: Springer
    • Abdulla P., Bouajjani A., Jonsson B. On-the-fly analysis of systems with unbounded, lossy fifo channels. 10th Internat. Conf. on Computer Aided Verification (CAV'98). Lecture Notes in Computer Science. Vol. 1427:1998;Springer, Berlin.
    • (1998) Lecture Notes in Computer Science , vol.1427
    • Abdulla, P.1    Bouajjani, A.2    Jonsson, B.3
  • 2
    • 0027266167 scopus 로고
    • Verifying programs with unreliable channels
    • IEEE, New York
    • P. Abdulla, B. Jonsson, Verifying programs with unreliable channels, in: LICS'93, IEEE, New York, 1993.
    • (1993) LICS'93
    • Abdulla, P.1    Jonsson, B.2
  • 3
    • 0002811217 scopus 로고    scopus 로고
    • Undecidable verification problems for programs with unreliable channels
    • Abdulla P., Jonsson B. Undecidable verification problems for programs with unreliable channels. Inform. and Comput. 130(1):1996;71-90.
    • (1996) Inform. and Comput. , vol.130 , Issue.1 , pp. 71-90
    • Abdulla, P.1    Jonsson, B.2
  • 4
    • 84950991319 scopus 로고    scopus 로고
    • Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
    • Proc. ICALP'97, Springer, Berlin
    • A. Bouajjani, P. Habermehl, Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations, in: Proc. ICALP'97, Lecture Notes in Computer Science, Vol. 1256, Springer, Berlin, 1997.
    • (1997) Lecture Notes in Computer Science , vol.1256
    • Bouajjani, A.1    Habermehl, P.2
  • 5
    • 84957104846 scopus 로고    scopus 로고
    • Model checking lossy vector addition systems
    • Proc. STACS'99, Springer, Berlin
    • A. Bouajjani, R. Mayr, Model checking lossy vector addition systems, in: Proc. STACS'99, Lecture Notes in Computer Science, Vol. 1563, Springer, Berlin, 1999.
    • (1999) Lecture Notes in Computer Science , vol.1563
    • Bouajjani, A.1    Mayr, R.2
  • 6
    • 13544268666 scopus 로고    scopus 로고
    • Unreliable channels are easier to verify than perfect channels
    • Cécé G., Finkel A., Iyer S.P. Unreliable channels are easier to verify than perfect channels. Inform. and Comput. 124(1):1996;20-31.
    • (1996) Inform. and Comput. , vol.124 , Issue.1 , pp. 20-31
    • Cécé, G.1    Finkel, A.2    Iyer, S.P.3
  • 9
    • 85037030721 scopus 로고
    • Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic
    • Clarke E.M., Emerson E.A. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. Lecture Notes in Computer Science. Vol. 131:1981;52-71.
    • (1981) Lecture Notes in Computer Science , vol.131 , pp. 52-71
    • Clarke, E.M.1    Emerson, E.A.2
  • 10
    • 0000709547 scopus 로고
    • Finiteness of the odd perfect and primitive abundant numbers with distinct factors
    • Dickson L.E. Finiteness of the odd perfect and primitive abundant numbers with distinct factors. Amer. J. Math. 35:1913;413-422.
    • (1913) Amer. J. Math. , vol.35 , pp. 413-422
    • Dickson, L.E.1
  • 15
    • 0031380305 scopus 로고    scopus 로고
    • Decidability of model checking for infinite-state concurrent systems
    • Esparza J. Decidability of model checking for infinite-state concurrent systems. Acta Inform. 34:1997;85-107.
    • (1997) Acta Inform. , vol.34 , pp. 85-107
    • Esparza, J.1
  • 16
    • 0013416481 scopus 로고    scopus 로고
    • On the verification of broadcast protocols
    • IEEE, New York
    • J. Esparza, A. Finkel, R. Mayr, On the verification of broadcast protocols, in: Proc. LICS'99, IEEE, New York, 1999.
    • (1999) Proc. LICS'99
    • Esparza, J.1    Finkel, A.2    Mayr, R.3
  • 17
    • 84925086337 scopus 로고
    • On the model checking problem for branching time logics and basic parallel processes
    • Springer, Berlin
    • J. Esparza, A. Kiehn, On the model checking problem for branching time logics and basic parallel processes, in: CAV'95, Lecture Notes in Computer Science, Vol. 939, Springer, Berlin, 1995, pp. 353-366.
    • (1995) CAV'95, Lecture Notes in Computer Science , vol.939 , pp. 353-366
    • Esparza, J.1    Kiehn, A.2
  • 19
    • 0021974161 scopus 로고
    • Algebraic laws for nondeterminism and concurrency
    • Hennessy M., Milner R. Algebraic laws for nondeterminism and concurrency. J. Assoc. Comput. Mach. 32:1985;137-162.
    • (1985) J. Assoc. Comput. Mach. , vol.32 , pp. 137-162
    • Hennessy, M.1    Milner, R.2
  • 20
    • 0000264456 scopus 로고    scopus 로고
    • A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes
    • Hirshfeld Y., Jerrum M., Moller F. A polynomial-time algorithm for deciding bisimulation equivalence of normed basic parallel processes. J. Math. Struct. Comput. Sci. 6:1996;251-259.
    • (1996) J. Math. Struct. Comput. Sci. , vol.6 , pp. 251-259
    • Hirshfeld, Y.1    Jerrum, M.2    Moller, F.3
  • 21
    • 49049126479 scopus 로고
    • Results on the propositional μ -calculus
    • Kozen D. Results on the propositional. μ -calculus Theoret. Comput. Sci. 27:1983;333-354.
    • (1983) Theoret. Comput. Sci. , vol.27 , pp. 333-354
    • Kozen, D.1
  • 22
    • 0021474508 scopus 로고
    • An algorithm for the general Petri net reachability problem
    • Mayr E. An algorithm for the general Petri net reachability problem. SIAM J. Comput. 13:1984;441-460.
    • (1984) SIAM J. Comput. , vol.13 , pp. 441-460
    • Mayr, E.1
  • 24
    • 84974589116 scopus 로고    scopus 로고
    • On the complexity of bisimulation problems for basic parallel processes
    • Springer, Berlin
    • R. Mayr, On the complexity of bisimulation problems for basic parallel processes, in: Proc. ICALP 2000, Lecture Notes in Computer Science, Vol. 1853, Springer, Berlin, 2000.
    • (2000) Proc. ICALP 2000, Lecture Notes in Computer Science , vol.1853
    • Mayr, R.1
  • 26
    • 84955565828 scopus 로고    scopus 로고
    • Infinite results
    • U. Montanari, V. Sassone (Eds.), Springer, Berlin
    • F. Moller, Infinite results, in: U. Montanari, V. Sassone (Eds.), Proc. CONCUR'96, Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996.
    • (1996) Proc. CONCUR'96, Lecture Notes in Computer Science , vol.1119
    • Moller, F.1
  • 28
    • 85047040703 scopus 로고
    • The temporal logic of programs
    • New York
    • A. Pnueli, The temporal logic of programs, in: FOCS'77, IEEE, New York, 1977.
    • (1977) FOCS'77, IEEE
    • Pnueli, A.1
  • 29
    • 0020812083 scopus 로고
    • On some variants of Post's correspondence problem
    • Ruohonen K. On some variants of Post's correspondence problem. Acta Inform. 19:1983;357-367.
    • (1983) Acta Inform , vol.19 , pp. 357-367
    • Ruohonen, K.1
  • 30
    • 0026685401 scopus 로고
    • A unified approach for deciding the existence of certain Petri net paths
    • Yen H. A unified approach for deciding the existence of certain Petri net paths. Inform. and Comput. 96(1):1992;119-137.
    • (1992) Inform. and Comput. , vol.96 , Issue.1 , pp. 119-137
    • Yen, H.1


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