A modular SOS for Action Notation (extended abstract (1999)

by P D Mosses
Venue:Dept. of Computer Science, Univ. of Aarhus