Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness

Ketil Stølen. Assumption/Commitment Rules for Dataflow Networks - With an Emphasis on Completeness. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 356-372, Springer, 1996.

Abstract

Abstract is missing.