Rewriting Logic as a Semantic Framework of Concurrency: a Progress Report (1996)

by J Meseguer
Venue:Lecture Notes in Computer Science, SpringerVerlag. V.119