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

Claudia Faggian Mauro Piccolo

Published in: TLCA (2007)

Keyphrases

mathematical model
closed form
management system
neural network
high level
cost function
probabilistic model
similarity measure
prior knowledge
theoretical analysis
theoretical framework
hierarchical structure
conceptual model
formal model