Wil Janssen. Layers as Knowledge Transitions in the Design of Distributed Systems. In Ed Brinksma, Rance Cleaveland, Kim Guldstrand Larsen, Tiziana Margaria, Bernhard Steffen, editors, Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings. Volume 1019 of Lecture Notes in Computer Science, pages 238-263, Springer, 1995.
Abstract is missing.