Inproceedings,

Ludics is a Model for the Finitary Linear Pi-Calculus.

, and .
TLCA, volume 4583 of Lecture Notes in Computer Science, page 148-162. Springer, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews