Sequentiality vs. Concurrency in Games and Logic

TL;DR

This paper explores the relationship between sequential and concurrent processes within the context of game semantics and Linear Logic, aiming to clarify how proof semantics relate to process behaviors.

Contribution

It provides new insights into how sequentiality and concurrency are represented and understood in game semantics and Linear Logic frameworks.

Findings

Clarifies the connection between proof semantics and process behaviors.

Highlights differences between sequential and concurrent models in game semantics.

Provides theoretical foundations for understanding concurrency in logic and games.

Abstract

Connections between the sequentiality/concurrency distinction and the semantics of proofs are investigated, with particular reference to games and Linear Logic.