Latticed Simulation Relations and Games

International Journal of Foundations of Computer Science - Singapore
doi 10.1142/s0129054110007192
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt