Action Semantics, volume 26 (1992)

by Peter D Mosses
Venue:of Tracts in Theoretical Computer Science