Rewriting Semantics of Meta-Objects and Composable Distributed Services (2000)

by G. Denker , J. Meseguer , C. Talcott
Venue:In Proceedings of the 3rd International Workshop on Rewriting Logic and Its Applications
Citations:6 - 1 self