Action Semantics, volume 26 of Cambridge Tracts (1992)

by Peter D Mosses
Venue:in Theoretical Computer Science