Applying Game Semantics to Compositional Software Modelling and verification
S. Abramsky‚ D. Ghica‚ L. Ong and A. Murawski
Book Title
TACAS 2004: Tools and Algorithms for the Construction and Analysis of Systems‚ 10 International Conference
Pages
421−435
Publisher
Springer LNCS
Volume
2988
Year
2004