In: Proc. of the 25th Annual Allerton Conf. on Communication Control, and Computing, pages 1204-1213. Urbana-Champaign: Univ. Illinois, 1987.
Abstract: This paper initiates the dialectical approach to net theory. This approach views nets as special dialectical systems. A suitably generalized version of nets, called dialectical nets, can be defined in terms of the `fundamental contradiction' inherent in the structure of closed preorders. The nature of dialectical nets is summarized in the statement that `dialectical nets are transition systems relativized to closed preorders, and hence are general predicate transformers'.