Development of Concurrent Systems by Incremental Transformations

E. Pascal Gribomont. Development of Concurrent Systems by Incremental Transformations. In Neil D. Jones, editor, ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings. Volume 432 of Lecture Notes in Computer Science, pages 161-176, Springer, 1990.

Abstract

Abstract is missing.