Dynamic Matrices and the Cost Analysis of Concurrent Programs

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.