Conditional rewriting as a unified model of concurrency. Theoretical computer science 96(1 (1992)

by J Meseguer
Venue:Comput. Sci