No. 18 (1996): RS-18 Comparing Transition Systems with Independence and Asynchronous Transition Systems

Published: 1996-01-18