Gian Luigi Ferrari, Ugo Montanari. Dynamic Matrices and the Cost Analysis of Concurrent Programs. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 307-321, Springer, 1995.
Abstract is missing.