Verifying lossy channel systems has nonprimitive recursive complexity
暂无分享,去创建一个
[1] Petr Jancar,et al. Nonprimitive recursive complexity and undecidability for Petri net equivalences , 2001, Theor. Comput. Sci..
[2] Philippe Schnoebelen,et al. Boundedness of Reset P/T Nets , 1999, ICALP.
[3] Parosh Aziz Abdulla,et al. Undecidable Verification Problems for Programs with Unreliable Channels , 1994, Inf. Comput..
[4] Philippe Schnoebelen,et al. Reset Nets Between Decidability and Undecidability , 1998, ICALP.
[5] Parosh Aziz Abdulla,et al. An Improved Search Strategy for Lossy Channel Systems , 1997, FORTE.
[6] Parosh Aziz Abdulla,et al. On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels , 1998, CAV.
[7] Richard Mayr. Undecidable problems in unreliable computations , 2003, Theor. Comput. Sci..
[8] Parosh Aziz Abdulla,et al. Reasoning about Probabilistic Lossy Channel Systems , 2000, CONCUR.
[9] Parosh Aziz Abdulla,et al. Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol , 1999, TACAS.
[10] Michel Hack,et al. The Equality Problem for Vector Addition Systems is Undecidable , 1976, Theor. Comput. Sci..
[11] Parosh Aziz Abdulla,et al. Algorithmic Analysis of Programs with Well Quasi-ordered Domains , 2000, Inf. Comput..
[12] Parosh Aziz Abdulla,et al. Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract) , 1995, CONCUR.
[13] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[14] Albert R. Meyer,et al. The Complexity of the Finite Containment Problem for Petri Nets , 1981, JACM.
[15] Parosh Aziz Abdulla,et al. Verifying programs with unreliable channels , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[16] Philippe Schnoebelen,et al. Well-structured transition systems everywhere! , 2001, Theor. Comput. Sci..
[17] Graham Higman,et al. Ordering by Divisibility in Abstract Algebras , 1952 .
[18] Philippe Schnoebelen. Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems , 2001, TACS.
[19] Daniel Brand,et al. On Communicating Finite-State Machines , 1983, JACM.
[20] Alain Finkel,et al. Unreliable Channels are Easier to Verify Than Perfect Channels , 1996, Inf. Comput..