Metric Denotational Semantics for Parallel Rewriting of Multisets.

Gabriel Ciobanu, Eneia Nicolae Todoran

Browse the full SYNASC paper archive.