Rewriting Logic as a Semantic Framework for Concurrency (1996)

by J Meseguer
Venue:In Proc. Concur’96, Vol.1119 of LNCS