Sign in

Linear Logical Relations for Session-Based Concurrency.

Jorge A. PérezLuís CairesFrank PfenningBernardo Toninho
Published in: ESOP (2012)
Keyphrases
  • logical structure
  • information systems
  • closed form
  • data sets
  • programming language
  • fine grained
  • linear model
  • temporal relations
  • dynamic allocation