Old Seminars Finite Injury Method Decidability and Presburger Arithmetic Equivalence Checking Algorithms for Processes Wireless Backbone Technology and Approximation Algorithm Process Algebra Formal Verification Computational Complexity