Algorithmic games for full ground references. (2018)

First Author: Murawski AS
Attributed to:  System-Level Game Semantics: A unifying framework for composing systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10703-017-0292-9

PubMed Identifier: 31258247

Publication URI: http://europepmc.org/abstract/MED/31258247

Type: Journal Article/Review

Volume: 52

Parent Publication: Formal methods in system design

Issue: 3

ISSN: 0925-9856