Extensional Equivalences for Transition Systems", Acta Informatica 24 (1987)

by R de Nicola
Venue:Proc. 2nd BRA Logical Frameworks Workshop