History
1
an:70052046
1


Please fill in your query. A complete syntax description you will find on the General Help page.
CSP representation of game semantics for second-order idealized algol (English)
ICFEM, 146-161 (2004).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!