Show simple item record

Nominal Game Semantics.

dc.contributor.authorMurawski, ASen_US
dc.contributor.authorTzevelekos, Nen_US
dc.date.accessioned2016-08-26T13:16:18Z
dc.date.issued2016en_US
dc.date.submitted2016-04-20T15:13:39.339Z
dc.identifier.other4
dc.identifier.other4en_US
dc.identifier.urihttp://qmro.qmul.ac.uk/xmlui/handle/123456789/14878
dc.descriptionTutorial notes presenting nominal game semanticsen_US
dc.format.extent191 - 269en_US
dc.relation.ispartofFoundations and Trends in Programming Languagesen_US
dc.rights“The final publication is available at http://www.nowpublishers.com/article/Details/PGL-017”
dc.titleNominal Game Semantics.en_US
dc.typeArticle
dc.rights.holder© 2016 A. S. Murawski and N. Tzevelekos
pubs.notesNot knownen_US
pubs.volume2en_US
qmul.funderGame Semantics for Program Analysis::Royal Academy of Engineeringen_US


Files in this item

Thumbnail
Name:
TZEVELEKOS Nominal Game Semantics ...
Size:
596.2Kb
Format:
application/
Description:
Published Version
View/Open

This item appears in the following Collection(s)

Show simple item record