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

Publiceret: 1996-01-18