Safety Verification of Communicating One-Counter Machines

Alexander Heußner, Tristan Le Gall, Grégoire Sutre. Safety Verification of Communicating One-Counter Machines. In Deepak D'Souza, Telikepalli Kavitha, Jaikumar Radhakrishnan, editors, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India. Volume 18 of LIPIcs, pages 224-235, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. [doi]

Abstract

Abstract is missing.