Search

• < Previous
• 1
• Next >

---

An intensionally fully-abstract sheaf model for $\pi$ (expanded version)

Clovis Eberhart ; Tom Hirschowitz ; Thomas Seiller.

Following previous work on CCS, we propose a compositional model for the $\pi$-calculus in which processes are interpreted as sheaves on certain simple sites. Such sheaves are a concurrent form of innocent strategies, in the sense of Hyland-Ong/Nickau game semantics. We define an analogue of fair&nbsp;[&hellip;]

---

Zeta Functions and the (Linear) Logic of Markov Processes

Thomas Seiller.

The author introduced models of linear logic known as ''Interaction Graphs'' which generalise Girard's various geometry of interaction constructions. In this work, we establish how these models essentially rely on a deep connection between zeta functions and the execution of programs, expressed as a&nbsp;[&hellip;]

---