Introduction to Formal Realizability Theory-I

This paper offers a general approach to the realizability theory of networks with many accessible terminals. The methods developed are applied to give a complete characterization of all finite passive networks.