Event Structure Semantics for Nominal Calculi.

Roberto Bruni Hernán C. Melgratti Ugo Montanari

Published in: CONCUR (2006)

Keyphrases

database
logic programming
structural information
graph structure
graphical representation
formal semantics
vague concepts