Discrete event systems in rewriting logic (0)

by C Landauer
Venue:Proc. 1 st Intl. Workshop on Rewriting Logic and its Applications