Foundations of Modular SOS (extended abstract (1999)

by P D Mosses
Venue:In MFCS’99, Proc. 24th Intl. Symp. on Mathematical Foundations of Computer Science, Szklarska-Poreba