An Acceptance Vector Semantics for Path Programs
Michael W. Shields · Fundamenta Informaticae · 1999
In this paper, we consider two formal semantics for path programs. The first is a version of the net semantics introduced in [8] and further described in [7], and the second is an extension of the vector semantics of [15]. The extension involves the