Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. In Erika Ábrahám, Catuscia Palamidessi, editors, Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Volume 8461 of Lecture Notes in Computer Science, pages 1-16, Springer, 2014. [doi]
Abstract is missing.