Conditional Rewriting Logic as a unified model of concurrency (1992)

by J Meseguer
Venue:Theoretical Computer Science