A Method for Developing Concurrent Systems

Ryszard Janicki. A Method for Developing Concurrent Systems. In Manfred Paul, Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings. Volume 167 of Lecture Notes in Computer Science, pages 155-166, Springer, 1984.

Abstract

Abstract is missing.