Linear Logical Relations for Session-Based Concurrency.

Jorge A. Pérez Luís Caires Frank Pfenning Bernardo Toninho

Published in: ESOP (2012)

Keyphrases

logical structure
information systems
closed form
data sets
programming language
fine grained
linear model
temporal relations
dynamic allocation