No. 25 (2002): RS-25 Deciding Framed Bisimilarity

Published: 2002-01-25