Action Semantics, volume 26 of Cambridge Tracts (1992)

by P D Mosses
Venue:in Theoretical Computer Science