<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Operational Semantics of Games

Name: Operational Semantics of Games
Creator: Wang, Yong
Keywords: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Logic in Computer Science (cs.LO)

descriptionPublicationkeyboard_double_arrow_right Article , Preprint 01 Jan 2019Embargo end date: 01 Jan 2019Publisher:arXiv

Authors: Wang, Yong;

doi: 10.48550/arxiv.1907.02668

arXiv: http://arxiv.org/abs/1907.02668

Operational Semantics of Games

- Summary
- Subjects
- Metrics

Abstract

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used widely to reason on the behaviors of systems (not only computational systems) with game theory supported.

15 pages. arXiv admin note: substantial text overlap with arXiv:1611.09035, arXiv:1810.00868

Related Organizations

Beijing University of Technology
China (People's Republic of)

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green

Fields of Science (4) View all

Fields of Science