Conditional rewriting logic as a uni ed model of concurrency (1992)

by J Meseguer
Venue:Theoretical Computer Science