Articles
Process Realizability: (Abstract)

https://doi.org/10.1016/S1571-0661(04)00099-4Get rights and content
Under a Creative Commons license
open access

Abstract

We introduce a notion of realizability for Classical Linear Logic, and describe a number of examples, including one based on concurrent games, and one based on the process calculus CCS.

Keywords

Realizability
Linear Logic
Process Calculi
Concurrency
CCS
Concurrent Games
Semantics

MSC

03B40
03D65
68Q55

Cited by (0)

Copyright © 2001 Published by Elsevier B.V.